Can we add a loose requirement for key sorting?  Obviously to be heavily excepted... to strive for simpler merges, but only in the case where we don't actually care what order the keys are in.