Timsort vs Introsort with partially sorted data