> People who used Tornado Cash themselves, even non-criminals, are marked as criminals because of the way the lists are maintained

Eh, they’re marked as suspicious. (Correctly.) But I don’t know if merely using Tornado would be enough to convict on in most competent jurisdictions.