Bronson AVL-tree: added check_consistency function