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.