!!! kevm-pyk/__main__: turn off parallelism

Author: ehildenb

kevm-pyk/src/kevm_pyk/__main__.py

@@ -435,7 +435,8 @@ def prove_it(id_and_cfg: Tuple[str, Tuple[KCFG, Path]]) -> bool:
             return False
 
     with ProcessPool(ncpus=workers) as process_pool:
-        results = process_pool.map(prove_it, kcfgs.items())
+        # results = process_pool.map(prove_it, kcfgs.items())
+        results = map(prove_it, kcfgs.items())
         process_pool.close()
 
     failed = 0