I don't think that's much of an option with a country with dozens of nukes if they are proven to support Al Qaeda. IMHO we would be justified in launching a first strike if we can prove it. We warned the world in 2001 if you shelter terrorists, you are a terrorist, and we would not allow terrorist states to get nukes. Pakistan is a terrorist state, with nukes.
Another alternative I have been suggesting since 9/11 is to create a Dooomsday List. We publish a list of nations with nukes or nuke programs that we don't trust not to give them to terrorists, or sell them to other countries that might. Iran, Pakistan, Syria and N. Korea are obvious immediate candidates. Then we tell them that if we or any of our allies are hit by a nuke, under any circumstances, we will immediately launch an all out nuclear attack on every country on the list, without waiting to prove anything. The only way to get off the list, is to agree to whatever terms we decide are needed to be assured they don't have nukes and aren't trying to get them. Until we are satisfied, they stay on the list, and they better pray nobody else nukes us or our allies. IMHO, they would all jump through whatever hoops we told them to in order to get off the list.
Problem is, M.A.D doesn’t work very well with Doomsday lovers like Muslims. They want the world to end - they yearn for it.
In other surprising news news today, darkness will follow dusk, and Norwegian Resident Muslims Refugees will attempt a gang rape.