update Validate_Binary_Search_Tree to cover more corner cases