validate-binary-search-tree, from top to bottom