Get fraud proofs working in full

[danwt]

• feat(fraud-proofs) #787
• feat(fraud-proofs) rollapp-evm#131
• feat(fraud-proofs) dymint#621
• feat(fraud-proofs) cosmos-sdk#2
• feat(fraud-proofs) iavl#1 (see here for diff with celestia's work)
• feat(fraud-proofs) cometbft#2

old stuff for reference

• Michaels EVM changes dymensionxyz/rollapp-evm@main...feat/fraudproofs (see diff)
• Michaels comet changes https://github.com/dymensionxyz/cometbft/pull/1/files
• Michaels SDK changes https://github.com/dymensionxyz/cosmos-sdk/pull/1/files

Celestia mega issue

rollkit/iavl#1

IAVL stuff

• fast storage explained feat: Fast storage optimization for queries and iterations cosmos/iavl#468
• must implement a subset of https://github.com/dymensionxyz/cosmos-sdk/blob/2a46ef352bd25da6ae1e419fe0508f8a1cb971ea/store/iavl/tree.go#L20-L37
• in particular https://github.com/dymensionxyz/cosmos-sdk/blob/70589eb845a4c8c471429fc832e2922f8631eb81/store/types/store.go#L223-L234
• eth research article https://ethresear.ch/t/data-availability-proof-friendly-state-tree-transitions/1453/23

## Other resources

• ISRs, fraud proofs in Cosmos SDK and deferred execution rollkit/rollkit#132

[danwt]

moved to research repo https://github.com/dymensionxyz/research/issues/332