feat(run-engine,run-store): completed-waitpoint envelope, read-time resolver, and the fail-loud coverage check

feat(run-engine,run-store): completed-waitpoint envelope, read-time resolver, and the fail-loud coverage check #142