[EPIC] State Proofs: Fraud Proofs

[Manav-Aggarwal]

This epic should roughly follow the steps in ADR. The design in this ADR requires adaptation to be compatible with ABCI++ design first.

After that's done, the following steps need to be done:

[ ] Add back fraud detection logic in Rollkit: As part of #1092, fraud proof detection logic was moved to a feature branch, this should be added back.
In the event of fraud:
[ ] Support retrieval of a generated fraud proof from the application
[ ] Gossip fraud proofs via the Rollup's P2P layer and halt the rollup full node.
[ ] Add support for fraud proof verification in Rollup light nodes as described in the above ADR, and halt the rollup light node.