Add hyphen to error message check files

Author: Xavientois

tests/init/neg/closureLeak.check

@@ -4,4 +4,4 @@
    |              Cannot prove that the value is fully-initialized. Only initialized values may be used as arguments.
    |
    |              The unsafe promotion may cause the following problem:
-   |              Cannot prove that the value is fully initialized. Only initialized values may be used as arguments.
+   |              Cannot prove that the value is fully-initialized. Only initialized values may be used as arguments.

tests/init/neg/default-this.check

@@ -1,5 +1,5 @@
 -- Error: tests/init/neg/default-this.scala:9:8 ------------------------------------------------------------------------
 9 |        compare() // error
   |        ^^^^^^^
-  |     Cannot prove that the value is fully initialized. Only initialized values may be used as arguments. Calling trace:
+  |     Cannot prove that the value is fully-initialized. Only initialized values may be used as arguments. Calling trace:
   |      -> val result = updateThenCompare(5)	[ default-this.scala:11 ]