kevm-pyk/__main__: omit_large_subst => minimize

Author: ehildenb

kevm-pyk/src/kevm_pyk/__main__.py

@@ -427,7 +427,7 @@ def exec_foundry_show(
     kcfg_file = kcfgs_dir / f'{test}.json'
     with open(kcfg_file, 'r') as kf:
         kcfg = KCFG.from_dict(json.loads(kf.read()))
-        list(map(print, kcfg.pretty(foundry, omit_large_subst=minimize)))
+        list(map(print, kcfg.pretty(foundry, minimize=minimize)))
     for node_id in nodes:
         kast = kcfg.node(node_id).cterm.kast
         if minimize: