Test for AVLTree#height