Verisk, AccuLynx Anlaşmasını İptal Etti, 1,5 Milyar Dolarlık Borcu İtfası Gerçekleşti