Fix accidental modification of option vars

The built-in `sort` sorts by in-place modification the sorted list,
thus modifying the option vars attached to a checker, and at worst
removing option vars from the list.

Use dash's `-sort` which does not use in-place sorting.