Under Trump, an already depleted IRS could face deep cuts