`no_std` harm runtime

[monoid]

With extra level of indirection and abstraction we can create a no_std runtime. Right now allocations are mostly used for label and relocation bookkeeping. Code buffers are now abstracted enough for static buffers.