The government didn't even sanction all the smart contracts. BSC chain had more activity than the Ethereum contract, but they didn't seem to know about it. Furthermore, Tornado had compliance tools built in that allows users to prove where their funds came from to make themselves compliant with KYC rules.
The whole thing seems really hamfisted and poorly thought out. The US Secretary of State even tweeted incorrectly that North Korea built Tornado, then had to delete the tweet! https://www.coindesk.com/policy/2022/08/08/us-secretary-of-s...
I don't think the government really thought it through, and future lawsuits will hopefully result in Tornado being un-sanctioned and privacy affirmed as a constitutional right, as it did in the 90s when source code was declared free speech after a long battle https://en.wikipedia.org/wiki/Bernstein_v._United_States