Validate if a tree is a valid BST