Address remaining gaps with the memory bounds design.

[tobz]

This issue is a high-level holding area for the various gaps that have been identified with the current memory bounds design, as well as the implementation/usage of memory bounds.

Non-exhaustive list of gaps, not necessarily in priority order:

• [ ] #185
• [x] #196
• [ ] #198