Add method to verify that the tree is red-black.