BST subtree checks