Started on blog post
All roots are the same, save the alloc
First whack at Readonly prefix insertion
Expose instruction stream for debugging purposes
The rest of Readonly; plus fixing a 'bug' in LoadElementAddress & Call, spec is really vague around this point