How might a Republican congress block the IRS’s 87,000 new hires?