Simplify valid_bin_search_tree().