Set extended timeout _after_ SMT.reinit in retries (#3829)

This comes from [an issue reported on
slack](https://runtimeverification.slack.com/archives/C03NP1UP2KZ/p1713355335552379),
where the SMT transcript showed that the timeout was not increased as
intended.

Author: jberthold

kore/src/Kore/Rewrite/SMT/Evaluator.hs

@@ -224,7 +224,7 @@ retryWithScaledTimeout q = do
     retryOnceWithScaledTimeout :: MonadSMT m => m a -> Integer -> m a
     retryOnceWithScaledTimeout action scale =
         -- reinit with scaled timeout to override the original timeout
-        SMT.localTimeOut (scaleTimeOut scale) $ SMT.reinit >> action
+        SMT.reinit >> SMT.localTimeOut (scaleTimeOut scale) action
 
     scaleTimeOut :: Integer -> SMT.TimeOut -> SMT.TimeOut
     scaleTimeOut _ (SMT.TimeOut Unlimited) = SMT.TimeOut Unlimited