Consider Multi-Pauli-Pass as a general framework

[adamglos92]

See https://arxiv.org/abs/2412.06909
This framework encapsulate gate-wise compilation as well as lazy synthesis (no uncomputation) and in fact may allow interpolation between those