Finite sorting functions (essentially, hard-coded insertion sort for up
to 5 values). Also included as a regression test.