> new government is led by the Ayatollah Khamenei

Let's see. It may be a military dictatorship using Khamenei, who may or may not even be in Iran, as a figurehead.

Not the military, the IRGC. Which is a religiously indoctrinated military.

So it would still be a theocracy, same as before, but now also run by people who are conditioned to believe that more violence is always a solution to any problem.