Verifier: Check operands of MDType subclasses and MDCompileUnit