Verisk pulls plug on $2.4 billion AccuLynx deal