Merge "Don't resolve types in verifier when we can't load classes."