There's been chatter from the lead developers about tagging coins as tainted. Not so much over these coins as for coins that for certainly stolen.
It's something that really would have to be done in the client, and for it to work everyone would have to agree to use the "official" client (or code derived from the official client).
My suspicion is that it would actually make client fragmentation more likely as there would be a clear financial incentive to deviate from the standard.
Coca-cola as done a lot to destroy its value, yet it continues to be one of the world's most valuable brands. Humanity has established a pattern of irrationally flocking to proven flawed systems and insisting on their perfection.