TimSort:自然 run、galloping 与从栈不变量到 Powersort 的合并策略