An extensive Israeli intelligence effort underpinned the Iran strikes.