The Role of Market-Implied Severity Modeling for Credit VaR