docs: sunfish implementation

[EvolveArt]

Paper

https://eprint.iacr.org/2024/1680.pdf

Tasklist

• Define a predicate trait that is easy to define new predicates with (e.g txs that touched this contract)
• Implement Sunfish-C completeness algorithm in a separate crate with its unit tests
• Evaluate what the current full node <> validator communication looks like
• Add necessary code in the validator to send needed info to the sparse node
• Add new sparse node cli command to full node
• If sparse node, verify the info sent by the validator and do sparse execution
• Have a first test of a sparse node that only syncs data from a specific contract, reproducible