The IRS isn't the only agency using taxpayer dollars for big bonuses.