Add technical description of ARM-11: Execution Model

I have not yet written the supplementary sections on testing/evaluation, alternatives, etc, but I wanted to publish this more widely now that the technical description is substantively complete so it could get wider exposure and commentary.