Reduce excessive linebreaks when printing large terms.

This is accomplished by using a layout with an extremely large
page width, combined with a normal (64-character) ribbon width.
With this setup, the pretty-printer should almost never in practice
go into the bayond-the-margin mode where it prints only one token
per line.

Fixes #1618.

saw-core/src/Verifier/SAW/Term/Pretty.hs

@@ -695,7 +695,8 @@ renderSawDoc :: PPOpts -> SawDoc -> String
 renderSawDoc ppOpts doc =
   Text.Lazy.unpack (renderLazy (style (layoutPretty layoutOpts doc)))
   where
-    layoutOpts = LayoutOptions (AvailablePerLine 80 0.8)
+    -- ribbon width 64, with effectively unlimited right margin
+    layoutOpts = LayoutOptions (AvailablePerLine 8000 0.008)
     style = if ppColor ppOpts then reAnnotateS colorStyle else unAnnotateS
 
 -- | Pretty-print a term and render it to a string, using the given options