Misbehaviour tech-debt

[ancazamfir]

Summary of Bug

During work on #3224, @romac raised some questions and we decided to follow up with a different issue. Here they are:

• https://github.com/informalsystems/hermes/pull/3224/files/17ba1b5e3720fb6d80376cca618b7827e65c4d93#r1178024334
• https://github.com/informalsystems/hermes/pull/3224/files/17ba1b5e3720fb6d80376cca618b7827e65c4d93#r1178024580
• https://github.com/informalsystems/hermes/pull/3224/files/17ba1b5e3720fb6d80376cca618b7827e65c4d93#r1178024648

Version

Steps to Reproduce

Acceptance Criteria

---

For Admin Use

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

[seanchen1991]

How extensive is the work outlined in this issue? Just wondering whether this should go in the 1.5.1 or 1.6 milestone.