First proper compile->run->verify cycle.

Next is to allow graph state to be checked after run to allow verify to
work automatically.