Stripping him of his titles doesn't do much good to be honest. In the history books he will still simply be someone who won and became world champion, whether stripped of the title or not. What would do us good, is to realize, that even someone in that position is not necessarily a saint or even a good person. To realize that supposed contrast and keep it in mind would be better for us than stripping him of titles, that he did in fact truly earn. Also it would only give him more ammunition.