abi and memory model

This document defines the deterministic model and canonical serialization constraints for the WASM runtime subsystem.