The deal for Yevgeny Dibrov’s Armis was Israel’s second-largest tech startup exit ever.