I get the impression that, no, forensic accountants were not used in the prosecutions, and they instead just relied on the software's accounting. From the bugs described, it seems like forensic accountants legitimately looking at specific cases would have been unable to confidently state that funds were missing.