Depends on https://github.com/scroll-tech/ceno/issues/684 write a O(N^2) sorting algorithm like selection sort or bubble sort of u32.