Updated tree verifier