Update expected output, line now wraps as it should

tests/error-messages/ArrowRanges.fst.expected

@@ -1,14 +1,16 @@
 >> Got issues: [
 * Error 19 at ArrowRanges.fst(4,30-4,39):
   - Subtyping check failed; expected type Prims.eqtype; got type Type0
-  - The SMT solver could not prove the query. Use --query_stats for more details.
+  - The SMT solver could not prove the query. Use --query_stats for more
+    details.
   - See also prims.fst(52,23-52,30)
 
 >>]
 >> Got issues: [
 * Error 19 at ArrowRanges.fst(8,10-8,28):
   - Failed to prove that the type 'ArrowRanges.ppof' supports decidable equality because of this argument; add either the 'noeq' or 'unopteq' qualifier
-  - The SMT solver could not prove the query. Use --query_stats for more details.
+  - The SMT solver could not prove the query. Use --query_stats for more
+    details.
   - See also ArrowRanges.fst(7,0-11,1)
 
 >>]

tests/error-messages/AssertNorm.fst.expected

@@ -1,7 +1,8 @@
 >> Got issues: [
 * Error 19 at AssertNorm.fst(7,2-7,13):
   - Assertion failed
-  - The SMT solver could not prove the query. Use --query_stats for more details.
+  - The SMT solver could not prove the query. Use --query_stats for more
+    details.
   - See also AssertNorm.fst(7,14-7,30)
 
 >>]

tests/error-messages/Asserts.fst.expected

@@ -1,20 +1,23 @@
 >> Got issues: [
 * Error 19 at Asserts.fst(6,9-6,17):
   - Assertion failed
-  - The SMT solver could not prove the query. Use --query_stats for more details.
+  - The SMT solver could not prove the query. Use --query_stats for more
+    details.
 
 >>]
 >> Got issues: [
 * Error 19 at Asserts.fst(11,2-11,8):
   - Assertion failed
-  - The SMT solver could not prove the query. Use --query_stats for more details.
+  - The SMT solver could not prove the query. Use --query_stats for more
+    details.
   - See also Asserts.fst(11,9-11,17)
 
 >>]
 >> Got issues: [
 * Error 19 at Asserts.fst(16,2-16,8):
   - Assertion failed
-  - The SMT solver could not prove the query. Use --query_stats for more details.
+  - The SMT solver could not prove the query. Use --query_stats for more
+    details.
   - See also Asserts.fst(16,9-16,14)
 
 >>]

tests/error-messages/Basic.fst.expected

@@ -6,77 +6,88 @@
 >> Got issues: [
 * Error 19 at Basic.fst(6,38-6,44):
   - Assertion failed
-  - The SMT solver could not prove the query. Use --query_stats for more details.
+  - The SMT solver could not prove the query. Use --query_stats for more
+    details.
   - See also Basic.fst(6,45-6,50)
 
 >>]
 >> Got issues: [
 * Error 19 at Basic.fst(7,38-7,44):
   - Assertion failed
-  - The SMT solver could not prove the query. Use --query_stats for more details.
+  - The SMT solver could not prove the query. Use --query_stats for more
+    details.
   - See also Basic.fst(7,45-7,50)
 
 >>]
 >> Got issues: [
 * Error 19 at Basic.fst(8,38-8,44):
   - Assertion failed
-  - The SMT solver could not prove the query. Use --query_stats for more details.
+  - The SMT solver could not prove the query. Use --query_stats for more
+    details.
   - See also Basic.fst(8,45-8,50)
 
 >>]
 >> Got issues: [
 * Error 19 at Basic.fst(9,38-9,44):
   - Assertion failed
-  - The SMT solver could not prove the query. Use --query_stats for more details.
+  - The SMT solver could not prove the query. Use --query_stats for more
+    details.
   - See also Basic.fst(9,45-9,50)
 
 >>]
 >> Got issues: [
 * Error 19 at Basic.fst(11,38-11,49):
   - Assertion failed
-  - The SMT solver could not prove the query. Use --query_stats for more details.
+  - The SMT solver could not prove the query. Use --query_stats for more
+    details.
   - See also Basic.fst(11,50-11,55)
 
 >>]
 >> Got issues: [
 * Error 19 at Basic.fst(12,38-12,49):
   - Assertion failed
-  - The SMT solver could not prove the query. Use --query_stats for more details.
+  - The SMT solver could not prove the query. Use --query_stats for more
+    details.
   - See also Basic.fst(12,50-12,55)
 
 >>]
 >> Got issues: [
 * Error 19 at Basic.fst(13,38-13,49):
   - Assertion failed
-  - The SMT solver could not prove the query. Use --query_stats for more details.
+  - The SMT solver could not prove the query. Use --query_stats for more
+    details.
   - See also Basic.fst(13,50-13,55)
 
 >>]
 >> Got issues: [
 * Error 19 at Basic.fst(14,38-14,49):
   - Assertion failed
-  - The SMT solver could not prove the query. Use --query_stats for more details.
+  - The SMT solver could not prove the query. Use --query_stats for more
+    details.
   - See also Basic.fst(14,50-14,55)
 
 >>]
 >> Got issues: [
 * Error 19 at Basic.fst(17,29-17,31):
   - Assertion failed
-  - The SMT solver could not prove the query. Use --query_stats for more details.
+  - The SMT solver could not prove the query. Use --query_stats for more
+    details.
   - See also prims.fst(430,90-430,102)
 
 >>]
 >> Got issues: [
 * Error 19 at Basic.fst(20,29-20,31):
   - Assertion failed
-  - The SMT solver could not prove the query. Use --query_stats for more details.
+  - The SMT solver could not prove the query. Use --query_stats for more
+    details.
   - See also prims.fst(430,90-430,102)
 
 >>]
 >> Got issues: [
 * Error 19 at Basic.fst(23,46-23,48):
   - Assertion failed
-  - The SMT solver could not prove the query. Use --query_stats for more details.
+  - The SMT solver could not prove the query. Use --query_stats for more
+    details.
   - See also prims.fst(430,90-430,102)
 
 >>]

tests/error-messages/Bug1997.fst.expected

@@ -319,175 +319,200 @@ let _ = FStar.Pervasives.assert_norm (Bug1997.n0 == Bug1997.n1)
 >> Got issues: [
 * Error 19 at Bug1997.fst(13,27-13,38):
   - Assertion failed
-  - The SMT solver could not prove the query. Use --query_stats for more details.
+  - The SMT solver could not prove the query. Use --query_stats for more
+    details.
   - See also Bug1997.fst(13,39-13,55)
 
 >>]
 >> Got issues: [
 * Error 19 at Bug1997.fst(21,27-21,38):
   - Assertion failed
-  - The SMT solver could not prove the query. Use --query_stats for more details.
+  - The SMT solver could not prove the query. Use --query_stats for more
+    details.
   - See also Bug1997.fst(21,39-21,67)
 
 >>]
 >> Got issues: [
 * Error 19 at Bug1997.fst(29,27-29,38):
   - Assertion failed
-  - The SMT solver could not prove the query. Use --query_stats for more details.
+  - The SMT solver could not prove the query. Use --query_stats for more
+    details.
   - See also Bug1997.fst(29,39-29,63)
 
 >>]
 >> Got issues: [
 * Error 19 at Bug1997.fst(38,27-38,38):
   - Assertion failed
-  - The SMT solver could not prove the query. Use --query_stats for more details.
+  - The SMT solver could not prove the query. Use --query_stats for more
+    details.
   - See also Bug1997.fst(38,39-38,65)
 
 >>]
 >> Got issues: [
 * Error 19 at Bug1997.fst(39,27-39,38):
   - Assertion failed
-  - The SMT solver could not prove the query. Use --query_stats for more details.
+  - The SMT solver could not prove the query. Use --query_stats for more
+    details.
   - See also Bug1997.fst(39,39-39,65)
 
 >>]
 >> Got issues: [
 * Error 19 at Bug1997.fst(40,27-40,38):
   - Assertion failed
-  - The SMT solver could not prove the query. Use --query_stats for more details.
+  - The SMT solver could not prove the query. Use --query_stats for more
+    details.
   - See also Bug1997.fst(40,39-40,65)
 
 >>]
 >> Got issues: [
 * Error 19 at Bug1997.fst(41,27-41,38):
   - Assertion failed
-  - The SMT solver could not prove the query. Use --query_stats for more details.
+  - The SMT solver could not prove the query. Use --query_stats for more
+    details.
   - See also Bug1997.fst(41,39-41,65)
 
 >>]
 >> Got issues: [
 * Error 19 at Bug1997.fst(42,27-42,38):
   - Assertion failed
-  - The SMT solver could not prove the query. Use --query_stats for more details.
+  - The SMT solver could not prove the query. Use --query_stats for more
+    details.
   - See also Bug1997.fst(42,39-42,65)
 
 >>]
 >> Got issues: [
 * Error 19 at Bug1997.fst(51,27-51,38):
   - Assertion failed
-  - The SMT solver could not prove the query. Use --query_stats for more details.
+  - The SMT solver could not prove the query. Use --query_stats for more
+    details.
   - See also Bug1997.fst(51,39-51,59)
 
 >>]
 >> Got issues: [
 * Error 19 at Bug1997.fst(52,27-52,38):
   - Assertion failed
-  - The SMT solver could not prove the query. Use --query_stats for more details.
+  - The SMT solver could not prove the query. Use --query_stats for more
+    details.
   - See also Bug1997.fst(52,39-52,59)
 
 >>]
 >> Got issues: [
 * Error 19 at Bug1997.fst(53,27-53,38):
   - Assertion failed
-  - The SMT solver could not prove the query. Use --query_stats for more details.
+  - The SMT solver could not prove the query. Use --query_stats for more
+    details.
   - See also Bug1997.fst(53,39-53,59)
 
 >>]
 >> Got issues: [
 * Error 19 at Bug1997.fst(54,27-54,38):
   - Assertion failed
-  - The SMT solver could not prove the query. Use --query_stats for more details.
+  - The SMT solver could not prove the query. Use --query_stats for more
+    details.
   - See also Bug1997.fst(54,39-54,59)
 
 >>]
 >> Got issues: [
 * Error 19 at Bug1997.fst(55,27-55,38):
   - Assertion failed
-  - The SMT solver could not prove the query. Use --query_stats for more details.
+  - The SMT solver could not prove the query. Use --query_stats for more
+    details.
   - See also Bug1997.fst(55,39-55,59)
 
 >>]
 >> Got issues: [
 * Error 19 at Bug1997.fst(63,27-63,38):
   - Assertion failed
-  - The SMT solver could not prove the query. Use --query_stats for more details.
+  - The SMT solver could not prove the query. Use --query_stats for more
+    details.
   - See also Bug1997.fst(63,39-63,51)
 
 >>]
 >> Got issues: [
 * Error 19 at Bug1997.fst(64,27-64,38):
   - Assertion failed
-  - The SMT solver could not prove the query. Use --query_stats for more details.
+  - The SMT solver could not prove the query. Use --query_stats for more
+    details.
   - See also Bug1997.fst(64,39-64,51)
 
 >>]
 >> Got issues: [
 * Error 19 at Bug1997.fst(75,27-75,38):
   - Assertion failed
-  - The SMT solver could not prove the query. Use --query_stats for more details.
+  - The SMT solver could not prove the query. Use --query_stats for more
+    details.
   - See also Bug1997.fst(75,39-75,49)
 
 >>]
 >> Got issues: [
 * Error 19 at Bug1997.fst(76,27-76,38):
   - Assertion failed
-  - The SMT solver could not prove the query. Use --query_stats for more details.
+  - The SMT solver could not prove the query. Use --query_stats for more
+    details.
   - See also Bug1997.fst(76,39-76,49)
 
 >>]
 >> Got issues: [
 * Error 19 at Bug1997.fst(77,27-77,38):
   - Assertion failed
-  - The SMT solver could not prove the query. Use --query_stats for more details.
+  - The SMT solver could not prove the query. Use --query_stats for more
+    details.
   - See also Bug1997.fst(77,39-77,49)
 
 >>]
 >> Got issues: [
 * Error 19 at Bug1997.fst(78,27-78,38):
   - Assertion failed
-  - The SMT solver could not prove the query. Use --query_stats for more details.
+  - The SMT solver could not prove the query. Use --query_stats for more
+    details.
   - See also Bug1997.fst(78,39-78,49)
 
 >>]
 >> Got issues: [
 * Error 19 at Bug1997.fst(87,27-87,38):
   - Assertion failed
-  - The SMT solver could not prove the query. Use --query_stats for more details.
+  - The SMT solver could not prove the query. Use --query_stats for more
+    details.
   - See also Bug1997.fst(87,39-87,49)
 
 >>]
 >> Got issues: [
 * Error 19 at Bug1997.fst(88,27-88,38):
   - Assertion failed
-  - The SMT solver could not prove the query. Use --query_stats for more details.
+  - The SMT solver could not prove the query. Use --query_stats for more
+    details.
   - See also Bug1997.fst(88,39-88,49)
 
 >>]
 >> Got issues: [
 * Error 19 at Bug1997.fst(89,27-89,38):
   - Assertion failed
-  - The SMT solver could not prove the query. Use --query_stats for more details.
+  - The SMT solver could not prove the query. Use --query_stats for more
+    details.
   - See also Bug1997.fst(89,39-89,49)
 
 >>]
 >> Got issues: [
 * Error 19 at Bug1997.fst(90,27-90,38):
   - Assertion failed
-  - The SMT solver could not prove the query. Use --query_stats for more details.
+  - The SMT solver could not prove the query. Use --query_stats for more
+    details.
   - See also Bug1997.fst(90,39-90,49)
 
 >>]
 >> Got issues: [
 * Error 19 at Bug1997.fst(91,27-91,38):
   - Assertion failed
-  - The SMT solver could not prove the query. Use --query_stats for more details.
+  - The SMT solver could not prove the query. Use --query_stats for more
+    details.
   - See also Bug1997.fst(91,39-91,49)
 
 >>]
 >> Got issues: [
 * Error 19 at Bug1997.fst(92,27-92,38):
   - Assertion failed
-  - The SMT solver could not prove the query. Use --query_stats for more details.
+  - The SMT solver could not prove the query. Use --query_stats for more
+    details.
   - See also Bug1997.fst(92,39-92,49)
 
 >>]