Verisk Cancela Acuerdo con AccuLynx, Redime 1.500 Millones de Dólares en Deuda