We should restrict which dialects we allow inside hardware to a smaller dialect group for verification purposes before lowering continues. The dialects to include are: * `py.constant` * `qubit` * `squin.gates` * `ilist` * `func`