add: validate bst