what the user could do before using Wasabi's coordinator is like what Peter Todd said in the video. Use layers.
Here's another idea if we're about to utilize layers: exchange BTC for XMR and XMR for BTC a little while later. Leaves no traces, much better than Wasabi + lightning altogether. You could then coinjoin the bitcoin, just to minimize the blockchain connection with the previous owner.
If you have "low value", "tainted" UTXOs from the Dark Markets, you could use JoinMarket, and use those UTXOs in Lightning, then send them to yourself. Convert them to onchain Bitcoin then use Wasabi CoinJoin. You now have "government-friendly" UTXOs ready for cold storage. Thanks Wasabi!
See, that's the problem. You think Wasabi implemented blacklisting and now their coinjoined coins are government friendly. We have absolutely no clue with what factors their chain analysis works. We only know that chain analysis is
evidently not scientific; what Coinfirm deems as "clean" coins does not necessarily imply the same for other firms.