[SILVerifier] [DebugInfo] Add optional verification of debug_value type
This check is disabled by default, and enabled with
`-Xllvm -verify-debug-value-expr`, while we fix the remaining problems
that are creating wrongly typed debug info.
Assisted-by: Claude