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.

Closes #26.