Switch the stable_sort to normal quicksort in list.ml. Default sort is now randomized quicksort.