Add on-the-fly proof generation

[critesjosh]

Problem

You can't easily create proofs from solidity atm.

Happy Case

You can generate proofs from a Solidity contract. Useful for testing. Basically do this

Alternatives Considered

No response

Additional Context

No response

Would you like to submit a PR for this Issue?

No

Support Needs

No response

[critesjosh]

Add this solution to the with-foundry example project. Include a test case for reference like