Check a tree binary search tree