Congress just voted to significantly fund the IRS.