Biden’s $80 billion in proposed IRS funding would be a game-changer