Israeli arms exports reached a record high in 2017, hitting NIS 9.2 billion in gross sales, a 40% jump from 2016.