MBT: check that clients and connections match those in the model

[vitorenesduarte]

Closes: #629

Description

---

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.

[codecov-io]

Codecov Report

Merging #704 (2025a9c) into master (b1b37f5) will increase coverage by 30.6%.
The diff coverage is n/a.

@@            Coverage Diff            @@
##           master    #704      +/-   ##
=========================================
+ Coverage    13.6%   44.3%   +30.6%     
=========================================
  Files          69     152      +83     
  Lines        3752   10052    +6300     
  Branches     1374       0    -1374     
=========================================
+ Hits          513    4458    +3945     
- Misses       2618    5594    +2976     
+ Partials      621       0     -621     

Impacted Files	Coverage Δ
modules/src/address.rs	100.0% <ø> (ø)
...application/ics20_fungible_token_transfer/error.rs	0.0% <ø> (ø)
...ion/ics20_fungible_token_transfer/msgs/transfer.rs	0.0% <ø> (ø)
modules/src/events.rs	0.0% <ø> (ø)
modules/src/handler.rs	100.0% <ø> (ø)
modules/src/ics02_client/client_def.rs	47.7% <ø> (ø)
modules/src/ics02_client/client_type.rs	79.1% <ø> (+31.5%)	⬆️
modules/src/ics02_client/context.rs	100.0% <ø> (ø)
modules/src/ics02_client/error.rs	100.0% <ø> (ø)
modules/src/ics02_client/events.rs	15.7% <ø> (+15.7%)	⬆️
... and 255 more

---

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 51386f9...b1decfb. Read the comment docs.