- Laundering happened before Tornado Cash existed, so Tornado Cash was not used
- They used something like Tornado Cash, but the funds were still traceable
They couldn't even bother to use strong encryption on the file of private keys. Crypto 101: never store private keys online.