This PassVerifier verifies a method of class file according to pass 3,
so-called structural verification as described in The Java Virtual Machine
Specification, 2nd edition.
More detailed information is to be found at the do_verify() method's
documentation.