Some minor tweaks to the documentation in ClassFileVerifier.