Adding, modifying, or removing a node now de-colors nodes that have been
colored by the proof-checking functionality.