validate bst