We should be able to generate quantum circuit diagrams from a `Program` by mapping Gate instructions to LaTeX using `tikz` and `quantikz`.