Proposed debt ceiling deal would cut part of $80 billion IRS funding