VALIDATE-BINARY-SEARCH-TREE