GAO: Cuts to IRS workforce are taking a toll