Changing method calls to increment PC value *AFTER* they return.

This makes exception lookup cleaner.

Also, adding a helper function that checks the type of the return value of every function call, which is finding some interesting bugs.