Investigate `POVMImplementation.compose_circuit` behavior for pre-transpiled circuits

There might be a bug in our code when a user provides an already transpiled circuit to add a POVM measurement to.
In the `POVMImplementation.compose_circuit` we try to account for the existence of a `layout` in the circuit, but this logic may be flawed when swaps occur during the circuit that may not be tracked by that layout.

Further investigation is required.