Adding verify AVL tree algo