✨ Quake support on Mapped and Native Gates Levels

[echavarria-lrz]

What's the problem this feature will solve?

The MQSS is transitioning from QIR to Quake. To test the compiler passes we are developing, we need appropriate benchmarks.

Describe the solution you'd like

Add functionality to generate and export Quake benchmarks, similar to the existing support for QASM and TKET.

[burgholzer]

Thanks for creating this issue! I believe this should be feasible in general.
Although it is much harder to support as it is to support QIR.
A quick Google search has not brought up any existing way of feeding a Qiskit QuantumCircuit into cuda-q that would allow us to dump the respective IR.
That's not saying this isn't possible per-se. It just means, we would have to build and maintain that.
Happy to know if you have any ideas in that regard.