Validate BSTs