Verifies a loaded bytecode, to make sure only valid instructions exist, and correct number of arguments and types are loaded No more statements should be added after this has been called
true if verified without errors, false if there were errors.
See Implementation
Verifies a loaded bytecode, to make sure only valid instructions exist, and correct number of arguments and types are loaded No more statements should be added after this has been called