Use std::stable_sort instead of std::sort everywhere (#655)

Use std::stable_sort instead of std::sort everywhere (#655) #1226