I found out what the problem was with the double posting. There evidently is a conflict with the Rewards Point Suite's "ot_reward_points_display" order total module. Removing this module, or in fact disabling it, enables the sales tax to be calculated as normal. (I had the reward points display set to a sort order of 1000.)