Whether values is already in the stated order. O(n) with an early exit, and no copy.
values
Uses the same comparison pf_sort does, so the two can never disagree about nulls, NaNs or direction on one array. A run of equal values is sorted.
pf_sort