Enable Nomic and Namada to get to mainnet

[Farhad-Shabani]

Background

This issue aims to track the work going into the Q1 objective of enabling Nomic and Namada to reach Mainnet by incorporating the IBC-rs module.
It is worth noting that achieving this objective also results in achieving “supporting Anoma's onboarding efforts” goal and is mainly coupled with "ADR005", which can be followed under the "ActivityGroup" field in the IBC-rs project board.

Task List

Implement ADR005

Beta Give feedback

1. Implement the ValidationContext/ExecutionContext API separation (ADR-005) to ensure compatibility with Namada’s requirements

Reflect ADR-005 changes on all other impacted parts/modules

Beta Give feedback

1. Remove val_exec_ctx feature flag #415
   +0
   
2. Adapt send_packet() and send_transfer() API #442
   A: breaking +1

Reach out to Nomic, Namada, and Penumbra and provide assistance with the implementation

Beta Give feedback

1. Discuss some recent design changes (during v0.28.0 & v0.29.0) with Namada and Penumbra
2. Anoma decided to try this change for the pre-launch (Feb 21, 2022)

Update existing unit and integration tests to cover ADR-005

Beta Give feedback

1. Upgrade basecoin-rs to use ibc-rs's val_exec_ctx feature informalsystems/basecoin-rs#73
   +0
   
2. Convert all test code to test the Validation/ExecutionContext API #413
   +0
   
3. Refactor connection handler unit tests to adapt with new Validation/Execution API #440
   O: code-hygiene O: testing +2
   
4. Make basecoin-rs compatible with ibc-rs changes until v0.29.0 informalsystems/basecoin-rs#77
   +0
   

Fix potential findings and bugs

Beta Give feedback

1. [ICS03] Proof verification failed in ConnectionOpenTry and ConnectionOpenAck #550
   A: bug +1
2. Emit "message" event for IBC relayer #563
   +0

Obtain feedback and implement new design requirements

Beta Give feedback

1. Remove Send + Sync requirement on Module trait #480
   O: usability +1
   
2. validate_self_client() should return ContextError instead of ConnectionError #482
   A: breaking +1
   
3. Add From<Amount> conversion for u64 #486
   O: usability +1
   
4. Remove 'static requirement on Module #490
   +0
   
5. Enable token transfer app to store a map of trace hash with the associated denom #502
   A: breaking O: usability +2