Nuking won't accomplish anything anyway. There's no obvious target that would "defeat" Iran given the seemingly decentralized command structure, and using nuclear weapons anywhere near the Strait would render it unusable.