monotonic sort certification: sorts are no longer minimized at the kernel boundary, only when reading input from the end-user;