Feature request: tests showing interaction between circuits and verifier contracts

Would be great to have tests which show how to format the proof and public inputs for the solidity verifier `verifyProof()` function.

I believe it can be done using ffjavascript's `unstringifyBigInts()` function.