add GenerateBalancedBinarySearchTree
4_5:check BST invariant