Add checkpoint primitives#81

stephenctw wants to merge 7 commits intomaincartesi/machine-solidity-step:mainfrom

feature/add-checkpoint-primitivescartesi/machine-solidity-step:feature/add-checkpoint-primitivesCopy head branch name to clipboard