updated binary tree verification