Decide on validation for merkle path prefix in MsgProvideCounterParty

[DimitrisJim]

Raised by Aditya in https://github.com/cosmos/ibc-go/pull/6982#discussion_r1696738107

We should probably validate the merkle path prefix as well. Unclear what exactly we should check yet. Let's make an issue for it so we don't lose track of it.

Will be handled by ibc-go team.

---

For Admin Use

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

[DimitrisJim]

Note that current validation in Counterparty simply asserts that MerklePath is not empty, this is what the validation for connections did previously.

Slapping needs-discussion label on this and if we decide the current check suffices, we can close the issue.

[colin-axner]

Well, correct me if I am wrong, but all path elements must be non-empty except the last?

In addition, we could do length restriction on each path element, but it would be arbitrary

[crodriguezvega]

Closed by #7193

[gjermundgaraba]

This issue was mistakenly reopened during some integration work, so closing again now.