The Internal Revenue Service relies on technology more than ever to sniff out tax cheats using robo-audits and data mining–but…