True if this list is already in non-decreasing order. Used defensively to verify a layer's valid-time list before binarySearch, which silently returns wrong results on unsorted input.