There is one common special case that we should optimize for...
We should try and detect whether the segments are actually trivially stackable.
For instance, when sorting by timestamp, it is very common to merge segments that are covering
disjoint interval of time.
In that case, the logic stacking the docids is correct.