Allow module_query_safe queries in ICA

[srdtrk]

Summary

One of the most common criticism of ICA is that it doesn't provide any query API. Usually the ICA transaction a contract wants to execute depends on the state of the counterparty chain. Allowing queries (which can be safely written to IBC acknowledgements) can improve the developer UX greatly.

I'm creating this issue as a part of Interchain focus week to document my progress and what I've been working on.

Problem Definition

Many ICA users use ICA alongside ICQ which is not universally supported. This is why offering a native solution is ideal.

This proposal should not be merged without greater team consensus as it is part the focus week mentioned above.

Proposal

Simply introduce a new tx message to icahost that queries the chain (only those marked with module_query_safe) and writes their responses to it's own response

// MsgModuleQuerySafe defines the payload for Msg/ModuleQuerySafe
message MsgModuleQuerySafe {
  option (cosmos.msg.v1.signer) = "signer";

  option (gogoproto.goproto_getters) = false;

  // signer address
  string signer = 1;

  // requests defines the module safe queries to execute.
  repeated QueryRequest requests = 2;
}

// MsgModuleQuerySafeResponse defines the response for Msg/ModuleQuerySafe
message MsgModuleQuerySafeResponse {
  // protobuf encoded responses for each query
  repeated bytes responses = 1;
}

---

For Admin Use

• Not duplicate issue
• Appropriate labels applied
• Appropriate contributors tagged/assigned