Tornado Cash guys had poor opsec. Pretty obvious that if you are dumb enough the feds will get you.
Tornado's creators should've seen this coming. Thinking that "free speech" would stand in the way of IRS getting mad and shutting it down is delusional.