Personally, I think they should have done nothing......for the moment. Iran's leaders were in hiding immediately after the early October rocket attack, right? That rocket attack was also carried out during a major Jewish holiday, right?
Israel SHOULD have waited.......waited for the chickenshit leadership to come out of hiding and resume normal day-to-day routines. Waited, gathering real-time intelligence as to their whereabouts. Waited and watched. Then during Iran's major Islamic holiday, (Ramadan), launch their own precision strike, killing the entire leadership of Iran, INCLUDING the Ayatollah(s) that call the shots, or whatever they call themselves today.
Show them the same courtesy that was extended to Israel during their holiday(s).
But I'm just another grumpy, old, opinionated S.O.B.....Roger