Don't ICE when generating DWARF debug information for a `DISubprogram`Add a check to the verifier so we don't ICE when generating DWARF debug
that is missing a `type:`
Alternatively, if the intended invariant is that every `DISubprogram`
must have a `type:`, the verifier would need to be updated instead.information for a `DISubprogram` that is missing a `type:`