The ASM state is extended to include "lr" and "align" components.

This avoids having to include them within the arguments of Call and JumpReg. No instruction can update these values.

It is expected that the state will have to be further extended to include an "endianness" value, since CHERI MIPS is big-endian.
An ARMv6 back-end with a correctness proof.

The determinism proof is based on using a decoder as a witness. To make this work an extra config component was added "has_mem_32", which is false for ARM. This avoids the problem of Load and Load32 being indistinguishable.

The total build time was around about 3.5 minutes.
Provide some computeLib support for the ARMv6 encoder and decoder.
Merge remote-tracking branch 'origin/master' into fmap_refactor