Refactor MBT for ICS02 & ICS03 using new modelator Rust API

[andrey-kuprianov]

Closes: cosmos/ibc-rs#29

Description

Refactoring of MBT for ICS02 & ICS03 using the new modelator Rust API

---

For contributor use:

• Updated the Unreleased section of CHANGELOG.md with the issue.
• If applicable: Unit tests written, added test to CI.
• Linked to Github issue with discussion and accepted design OR link to spec that describes this work.
• Updated relevant documentation (docs/) and code comments.
• Re-reviewed Files changed in the Github PR explorer.

[romac]

@andrey-kuprianov What's the status on this? Can we expect to merge it sometime or is there much left to do?

[andrey-kuprianov]

@romac There is not much to do actually, besides that this depends on the informalsystems/modelator#44 PR being merged, and there are still some bugs preventing this. I will address those in the beginning of the next week.

Sorry for the delay -- there are many other things I need to take care of, unfortunately, so everything progresses a bit slow.

[romac]

Thanks for the update! I didn't want to imply there was a rush of any kind, just wanted to enquire about the status as I'd like to see that work being put to use for the sake of Hermes :)

[andrey-kuprianov]

actually thank you for the update: knowing that this might be useful for Hermes is a very good motivator for me to finish it sooner rather than later;)

[adizere]

Closing: deprioritized.