I’m a bit puzzled how this helps prevent handcrafted binaries from exploiting CPU designs.
The Mill has many other aspects that improve the security story. All protection is based on memory address, for example. And pointers are not integers. There are reserved portions of the address space that programs are completely not allowed to touch.