Binary search tree verifier