Add primitive verification api for executing code