IRS managers are in favor of the big budget boost put forth by the Biden administration