Add more examples

[popzxc]

Right now, the examples in the repository are quite basic.

We need to come up with interesting examples that are more complex yet realistic, and implement them.

[popzxc]

One interesting example would be running revm inside of airbender. AFAIU, the newer versions allow injecting your own precompiles, so we should be able to use airbender-crypto for effective delegations.

Then, we can make the guest program that works based on debug_getExecutionWitness, and the host program can get these either from CLI or RPC, similarly to github.com/matter-labs/ethereum-prover