Linearization post-processing (O(n^2) fancy chunking)

Yeah; I couldn’t see any ways in which it would come up with a different result, so it only seems worth doing if it’s simpler (which it doesn’t seem to be, particularly given ancestor linearisation is how we already make blocks) or if it’s massively more efficient.