✨ Improve QIR support

[denialhaag]

#1710 has improved QIR support by providing separate conversions for the Base Profile and the Adaptive Profile.

This issue collects further improvements to our QIR support. It is expected to grow in the future.

• Extend the IR and pipeline test suites to cover the Base Profile.
• Use a centralized pass for converting a memref of qubits to a collection of static qubits, replacing the ConvertMemRefLoadOp pattern in the conversion to the Base Profile.
• Develop a verification tool to check profile compliance.

Please break out sub-issues as needed when implementing certain bullet points.

[burgholzer]

Use a centralized pass for converting a memref of qubits to a collection of static qubits, replacing the ConvertMemRefLoadOp pattern in the conversion to the Base Profile

@MatthiasReumann that's essentially an identity layout with all-to-all connectivity, right?
This sounds like something that could be split out of the place-and-route pass.

[burgholzer]

Develop a verification tool to check profile compliance.

Maybe we do not even need to develop this. There is the QIR Runner project (https://github.com/qir-alliance/qir-runner) which may be sufficient for us to test compliance.