tools/cexenum: Avoid buffering smtbmc's --progress stderr output

We were discarding that output anyway and before YosysHQ/mau#5 this
could lead to the mau internal `stderr.readline()` failing.

Author: jix

tools/cexenum/cexenum.py

@@ -470,6 +470,7 @@ def __init__(self, smt2_model: Path):
             [
                 "yosys-smtbmc",
                 "--incremental",
+                "--noprogress",
                 *App.smtbmc_options,
                 str(smt2_model),
             ],
@@ -481,7 +482,11 @@ def __init__(self, smt2_model: Path):
 
     async def on_run(self) -> None:
         def output_handler(event: tl.process.StdoutEvent):
-            result = json.loads(event.output)
+            line = event.output.strip()
+            if line.startswith('{'):
+                result = json.loads(event.output)
+            else:
+                result = dict(msg=line)
             tl.log_debug(f"smtbmc > {result!r}")
             if "err" in result:
                 exception = tl.logging.LoggedError(