Cross-Chain Queries (ICS-031) refactoring

[SangyunOck]

Description

Closes: #2915
Complementary pr for #2723

After I created the earlier one, there were pretty a lot of changes such as refactoring for crates such as cosmos/ibc-proto-rs and relayer_types.

For better readability and easy code management, opened another one synced up to the latest master branch.

Merkle proof of query result via abci_query is included in this version which is the main difference between the earlier one but pre-requisite is needed because of the mechanism of stride binary like adding specific address to admin list, so e2e test using hermes' test framework is not included currently.

Instead, I uploaded some scripts for local test:
https://github.com/validance/stride-gaia-local

Following README.md might enough to understand how the kv query works!

Thank you

---

PR author checklist:

• Added changelog entry, using unclog.
• Added tests: integration (for Hermes) or unit/mock tests (for modules).
• Linked to GitHub issue.
• Updated code comments and documentation (e.g., docs/).
• Tagged one reviewer who will be the one responsible for shepherding this PR.

Reviewer checklist:

• Reviewed Files changed in the GitHub PR explorer.
• Manually tested (in case integration/unit/mock tests are absent).

[ljoss17]

Great job! I left a few initial comments, and I will continue to review this.

[ljoss17]

Some small nits, but great work!!