Verisk, AccuLynx 인수 계약 폐기 및 15억 달러 부채 상환