perf: better sort

[c-cube]

an array.sort/bigarray.sort (perhaps functorized) that works in-place on slices would be super useful as we use sort a lot in the SAT solver.