Enhancement: support for the solidity-verifier

[huitseeker]

This is actually non-trivial of a(n upstream) PR if one reads between the lines : https://github.com/microsoft/Nova/pull/313/files

This is hinting at the following property: "it's clear that the only thing we will ever use in the secondary circuit is the trivial circuit, so it makes no sense to use a ppsnark (offering optionality) for that component of the circuit".

If the solidity-verifier was to support the non-preprocessing SNARK, it would mean that we could use it for the secondary curve to get better performance.