As discussed by @Rumata888 and @vezenovm, our `check_circuit` functions don't work with recursive verifier circuits.
As discussed by @Rumata888 and @vezenovm, our
check_circuitfunctions don't work with recursive verifier circuits.