timsort and timing