This makes me worry some more about that potential lacuna in our target set:
Iran and North Korea have signed an agreement to cooperate in science and technology, Iranian media reported on Saturday, and Iran's supreme leader declared that the two countries had "common enemies."
I suspect Syria once had a role in a dispersal strategy until Israel bombed that reactor in 2007 (remember that North Koreans were killed in the strike). The current revolt has neutralized Syria as an asset in general.
If North Korea (and Venezuela, possibly) provides the means of restarting an Iranian nuclear program once we or the Israelis hammer it into the ground, we'll buy less time than we otherwise can with a military campaign.