Updates to l3-machine-code.

Includes a monadic version of the ARM model, which includes data aborts.