- Laundering happened before Tornado Cash existed, so Tornado Cash was not used
- They used something like Tornado Cash, but the funds were still traceable
Talking about mixers (such as tornado_cash) is a worthy discussion on a post about laundering cryptocurrencies.