RedBlackTree-Implement Implement accroding to CLRS 3rd. In the test, call verify after RBT's insert and iterator's remove to check the five rules. Because the verify's complexity is O(n), so the test is not fast.