Changed contradiction graphics to separate triangle-transition and red
x. Fixed a comment in TreeTent.ContradictionMiscount.