The stim::decompose_pair_instruction_into_segments_with_single_use_controls was not guaranteeing the invariants actually used by code calling the method
The detecting regions of circuits with MXX/MYY/MZZ operations were often wrong if the same qubit was used multiple times in the same instruction
Refactored stim::decompose_pair_instruction_into_segments_with_single_use_controls into stim::decompose_pair_instruction_into_disjoint_segments
Also fixed a hard-to-reproduce issue where the hyper search could use the same error twice
stim::decompose_pair_instruction_into_segments_with_single_use_controlswas not guaranteeing the invariants actually used by code calling the methodstim::decompose_pair_instruction_into_segments_with_single_use_controlsintostim::decompose_pair_instruction_into_disjoint_segments