Finish method that verifies AVL tree properties.