Stable sort verification