Balanced Tree verification