Nicer printing of congruence closures. (And scattered debug prints...)