In the recursive verifiers (except PG which doesn't have inner and outer), get_outer_composer uses a constexpr if clause to figure out the right type for the composer and other data structures. Before, this was enough, as we were computing the verification key through the composer but now we need the flavor. The most simple way to get the right type for the verification key for now is to create a VerifierInstance but we should refactor this as non-PG verifiers don't operate on VerifierInstances
In the recursive verifiers (except PG which doesn't have inner and outer), get_outer_composer uses a constexpr if clause to figure out the right type for the composer and other data structures. Before, this was enough, as we were computing the verification key through the composer but now we need the flavor. The most simple way to get the right type for the verification key for now is to create a VerifierInstance but we should refactor this as non-PG verifiers don't operate on VerifierInstances