Let's not bother with debug printing

cli/cli.hs

@@ -233,7 +233,6 @@ main = withUtf8 $ do
           Right out -> do
             -- TODO: which functions here actually require a BuildOutput, and which can take it as a Maybe?
             testOpts <- liftIO $ unitTestOptions cmd solvers (Just out)
-            liftIO $ when env.config.debug $ putStrLn $ "Running test with environment setup: " <> show env
             res <- unitTest testOpts out.contracts
             liftIO $ unless res exitFailure
 
@@ -249,9 +248,6 @@ equivalence cmd = do
                           }
   calldata <- liftIO $ buildCalldata cmd
   solver <- liftIO $ getSolver cmd
-  config <-readConfig
-  liftIO $ when config.debug $ putStrLn $ "Running equivalence check with veriOpts: " <>
-    show veriOpts <> " calldata: " <> show calldata <> " solver: " <> show solver
   withSolvers solver 3 Nothing $ \s -> do
     res <- equivalenceCheck s bytecodeA bytecodeB veriOpts calldata
     case any isCex res of
@@ -339,9 +335,6 @@ assert cmd = do
                         , loopHeuristic = cmd.loopDetectionHeuristic
                         , rpcInfo = rpcinfo
     }
-    config <-readConfig
-    liftIO $ when config.debug $ putStrLn $ "Running verify check with veriOpts: " <>
-      show veriOpts <> " calldata: " <> show calldata <> " solver: " <> show solver
     (expr, res) <- verify solvers veriOpts preState (Just $ checkAssertions errCodes)
     case res of
       [Qed _] -> do

src/EVM/Effects.hs

@@ -72,7 +72,7 @@ class Monad m => TTY m where
 
 newtype Env = Env
   { config :: Config
-  } deriving Show
+  }
 
 defaultEnv :: Env
 defaultEnv = Env { config = defaultConfig }