hqbricks A symbolic execution and specification verification tool for hybrid classical/quantum circuits