Also fix bugs in the Check*Adapter classes found with these new tests, and improve the error messages in MethodVisitor.
