Irans högste ledare våndas: Ska han hålla löftet att hämnas på Israel – och rädda ansiktet? Eller svälja förtreten, backa och skona sin regim från fler israeliska anfall?