Verbose output for TLC runs

Related tlaplus/tlaplus#971

Author: lemmy

.github/workflows/CI.yml

@@ -112,6 +112,7 @@ jobs:
             SKIP+=("specifications/EinsteinRiddle/Einstein.cfg")
           fi
           python $SCRIPT_DIR/check_small_models.py                       \
+            --verbose                                                    \
             --tools_jar_path $DEPS_DIR/tools/tla2tools.jar               \
             --apalache_path $DEPS_DIR/apalache                           \
             --tlapm_lib_path $DEPS_DIR/tlapm/library                     \
@@ -129,6 +130,7 @@ jobs:
             SKIP+=("specifications/ewd426/SimTokenRing.cfg")
           fi
           python $SCRIPT_DIR/smoke_test_large_models.py                  \
+            --verbose                                                    \
             --tools_jar_path $DEPS_DIR/tools/tla2tools.jar               \
             --apalache_path $DEPS_DIR/apalache                           \
             --tlapm_lib_path $DEPS_DIR/tlapm/library                     \