Add primitive verification api for executing code
Merge pull request #170 from researchcompendia/runslice

Add primitive verification api for executing code. part of #140