writing height invariants, still unable to prove them thuough
verifies the height property after insert
verifies the height property after insert
red black tree, insert verifies these invariants: (a) black height of all leaves is same, (b) red nodes only have black children, and (c) the root of the tree is black