Compiler pass example documentation

[jon-wurtz]

Add pages on example compiler passes under "digital tutorial" tab as "example compiler passes"

• Native gate set rewrite
• ASAP parallelism rewrite
• Many-to-one qubit unitaries

[weinbe58]

I think these might be better as blog posts since they will requires talking about how to use the compiler infrastructure.

[jon-wurtz]

We can have an associated blog post, but the problem is that these passes as it stands are completely undocumented.

[Roger-luo]

What about a separate section in the main documentation that just list the docstrings for now? We can add some basic examples in the docstrings.

I think the problem is that using them without a baisc understanding of Kirin would be hard. So we should not expect users to only read the docstrings in bloqade.

[jon-wurtz]

Yes, docstrings is fine for now. The intent for now can be just show that we "have" these compiler passes. Pages here https://github.com/QuEraComputing/bloqade/tree/main/docs/quick_start/circuits/compiler_passes