Verifier: Don't call debug info verifier if the module is broken