Like what are the expected runtime and memory complexities, how can I trust its output, does it need a root of trust to guarantee stuff is validated against the chain tip, how much "system-dependent" stuff is allowed in the binaries, if none, can I inject system-dependent data models for storage somehow?