zerovm: add execution detail docs, with diagrams