While implementing #63, I realized that it would be nice to have a fullProve test utility that is already provided the correct data and an exportSolidityCalldata that knows which protocol to use.
When I think of the right implementation for these, I plan to add them to CircuitTestUtils.
