fairly sure that [merge_cc] is correct now

it ran for a significant time with [strict_invariant] checks
turned on and didn't assert