安定、安定でない両方でそれなりにチューニングされたソートライブラリがあったら教えてください。