Figure out a way to remove duplication in Honk Solidity verifier unit tests

[maramihali]

Right now each unit test is a copy of the Solidity verifier. Now that proofs are constant, we could pass the vk and number of public inputs as non-constants and remove duplication. However we need to revert back to duplication if we decide to go back to variable proof sizes.