Verify binary search tree