Instead, an illusion of privacy was promoted to clearnet users (that's us here in bitcointalk), while in fact our "cleaner" funds were used to bail out real criminals and terrorists. Because to a mixer, a clean bitcoin, is worth more than market value, so they were willing to overpay for it in the form of advertising. Come to think of it, the recent bust of Sinbad served as a reminder that mixers are in fact very traceable.
I doubt this part of your theory is true when authority simply treat
all known coin from mixer as tainted.
This is all just a theory of course, but honestly, trust no one, not even me.
It's a very real possibility though, that with mixers, we might be the product.
In that case, consider CoinJoin instead.
Seriously though, let's not for a second pretend that mixers are actually untraceable. With pretty simple checks they can be identified and many have had their accounts limited on platforms for depositing with a mixer. I guess most people wouldn't say so publicly but we've seen such posts on this forum too.
You need to see difference between,
1. Checking whether a coin comes from mixer. This part isn't hard.
2. Knowing actual source of the coin with it's associated TXID (before it's mixed). This part usually is much harder, although it comes down to how well certain mixing process works.