validate BST from post order traversal