Sorry for leaving this hanging... Anything that is not obvious should go to the mailing list yeah. My gut feeling is to leave it the way it is to avoid possible ambiguity.  If you feel such a check would help users, how about instead giving a big warning or even an error for obviously unsorted/badly sorted cases instead? But it doesn't hurt to ping the mailing list in any case, even for a smaller change.

Other then this, it is seems basically ready, and it would be a shame to forget about it...