Generic Program Verification Infrastructure #194
Description
There should exist some shared functionality that both the squin qubit and squin wire dialects, as well as squin -> stim rewrites should be based off of
Note: With further conversation from @weinbe58 this infrastructure should be made more generic (that is, other dialects can use it as well) to support #179 and its subissues. It should live in Bloqade for now with potential consideration to be added to Kirin.
The type lattice dicussed in #179 is a good starting point and should be used for this generic infrastructure.