Reporting number of optional OPS instructions emitted; throwing exception if verifier is ever in a paused state after interpreter has finished executing.