Implement AVL tree verification code.