validate BST, inorder traversal