`TerminalMeasurement` statement in gemini logical dialect group.

[weinbe58]

We need to add a special measurement statement for gemini logical dialect that indicates the end of the program and stores the results of the measurements.

The signature of this statement should be: TerminalMeasurement(qubits: IList[Qubit,Len]) -> IList[IList[Measurement],Len]

Note that the returning of a nested list of lists is required to return the physical measurements of the logical qubits. That way it is possible to use the annotate dialect to be able to define the physical observables and detectors.

Validation: This statement needs every allocated qubit to be passed into this statement only once.

[cduck]

With the signature containing an extra level of nesting for physical qubits (TerminalMeasurement(qubits: IList[Qubit,Len]) -> IList[IList[Measurement, CodeN],Len]) the instruction should have "Logical" in the name. E.g. TerminalLogicalMeasurements.

[johnzl-777]

A couple questions on my end:

• Should this conform to the broadcast semantics we enforce for practically every squin-contained instruction (sans qalloc)?
• Should this be registered to the existing qubit dialect? Or do I do something like native which has its own gate dialect which is distinct from squin's gate?