fix verify binary search tree