Many quantum algorithms have the basics described as circuits, but then put in things like loops and recursion in and around them. The problem is that it's really much more tedious to make proofs on these algorithms without gluing at least parts of them together and treating them as one, especially because you have vectors and complex numbers as your variables. We also don't have much hope to test anything that's not a quantum circuit because quantum random memory is very hard.