✨ Conditional measurements for arithmetic benchmarks

### Problem Statement

We currently only apply an unconditional `measure_all` at the end of arithmetic circuits.
However, these are arithmetic circuits, so the output qubits have a bit of structure, e.g., some represent the result of the operation.


### Proposed Solution

Differentiate between qubits marking the result and other qubits, depending on the intended functionality of the circuit.
