Robert Mazur: “I’ve seen first-hand how an understaffed IRS has trouble catching major tax cheats”