Better testing for AVL trees