How would that user know they were banned because of bad chainalysis and not connectivity issues, which it’s common to have with Tor?
I guess, we will never find out. Perhaps the software might flag it as "naughty" and it might be verifiable in the client's debug log, but it doesn't matter much, because the coordinator could have blacklist it and blame it to connection issues.
Samourai also bans coins, but when you try to ask them about it TDev will give a nonsense word salad reply or accuse you, without any evidence whatsoever, of being a malicious actor from Wasabi trying to attack their coinjoins.
I mean, I know. TDev is a jerk. I once tried to make a question in their Telegram, and the guy censored my messages simply because they had already been answered years ago, aka "use the search". And yes, in every coinjoin implementation there's "coin ban". If you start DDoSing, or provide invalid signatures, then the coordinator is programmed to ban you. That's entirely different and understandable. The problem comes when you censor based on ethics.