It was unclear how many thousands of employees would be fired at the IRS, whose workforce grew under the administration of ...