recv_packet handler incorrectly queries packet_receipt and next_sequence_recv using packet's source_{port, channel}

[hu55a1n1]

Summary of Bug

modules/src/core/ics04_channel/handler/recv_packet::process incorrectly queries packet_receipt and next_sequence_recv using packet's source_{port, channel}. It also creates the result incorrectly and should instead use the packet.destination_{port, channel}, as that is guaranteed to be unique ->

https://github.com/informalsystems/ibc-rs/blob/master/modules/src/core/ics04_channel/handler/recv_packet.rs#L83-L134

See corresponding behaviour in ibc-go ->
https://github.com/cosmos/ibc-go/blob/main/modules/core/04-channel/keeper/packet.go#L232-L283

Version

v0.15.0

Acceptance Criteria

recv_packet handler is fixed to use the appropriate port/channel ids.

---

For Admin Use

• Not duplicate issue
• Appropriate labels applied
• Appropriate milestone (priority) applied
• Appropriate contributors tagged
• Contributor assigned/self-assigned