updated RedBlack tree implementation and the verify properties methods