None of the arguments in favor of mixing in the OP is founded on moral grounds.
I disagree. There is a dilemma.
Mixers justify their existence with the goal to keep Bitcoin fungible. This is also a moral question. For the Bitcoin community, it would be "bad" if all coins were traceable. This could for example lead to doxxing, and even to deaths -- if e.g. such "tracing" enables a wrench attack and the victim is killed, or if an opposition group in a dictatorship is discovered and executed.
And this dilemma lies here: if the mixer uses AML tools without restrictions like most traditional exchanges do, then it no longer serves this function. The ethical mixer protocol I linked to above is an idea to solve that dilemma.
Unless there's more or less absolute certainty that a deposit is stolen, everything should proceed. Mere suspicions, indirect links, and the like shouldn't be grounds for rejection.
Again, how do you know this? And much more: how to know this in real time, e.g. in the 10 minutes after the coins are stolen, where many thieves will try a first mixing step? You need an AML tool - and then you enter the dilemma described above.
However, using chain analysis to determine risk is not a reliable method of proving ownership or criminal activity. It is possible to get BTC into a wallet from a tainted address, without the owner of this address being in any way involved with the initial theft. This can cause problems if mixers decide that all indirect links should be rejected.
Correct. There is no perfect method, but you have to draw the line somewhere. And that's what AML chain analysis companies are trying to do.
In my ethical mixer protocol there is a safeguard for "normal" users: the possibility to mix up to ~$500-$1000 per day without AML check. This should cover most "retailer" users' needs, and allows them to mix slightly tainted coins too.
It's not a perfect solution of course: these $1000 may have been obtained by selling drugs or a minor theft for example (let's say someone stealing $10,000 and mixing $1000 per day). But this are things we can't prevent totally. It's like the dilemma to put cameras in all streets to prevent all street crime. The important thing is that the "big fishes" can be
caught prevented to mix coins with that kind of protocol.