Debug Info Verifier: remove un-used argument in verifyDebugInfo.

No functionality change.