Replace the implementation of mergesort with a 2x faster one.