Changed command 'sim' to work with a miter by default (replace 'sim -m' by 'sim'…

Changed command 'sim' to work with a miter by default (replace 'sim -m' by 'sim' in verification applications).

src/base/abci/abc.c

@@ -17156,7 +17156,7 @@ int Abc_CommandSim( Abc_Frame_t * pAbc, int argc, char ** argv )
     nFrames    = 32;
     nWords     =  8;
     TimeOut    = 30;
-    fMiter     =  0;
+    fMiter     =  1;
     fVerbose   =  0;
     pFileSim   = NULL;
     Extra_UtilGetoptReset();