Making stinkarm stink less, or more?

A developer replaces a binary-tree memory translation with a single 4 GiB slab, hardens bounds checks, and adds a compile-time DSL for ARMv7 opcode decoding in their userspace emulator. The update supports B and BL branches and decodes instructions on demand, improving speed and maintainability.
The Mem indirection seems pretty inefficient.