Return true if every node in root satisfies the strict binary-search-tree ordering rule.
root
Why is checking only each node's immediate children insufficient?