Separate JITed code verifier add, bug fixing needed.