Update rustc-coverage-test : two more passing tests

Author: clementblaudeau

rustc-coverage-tests/test_config.yaml

@@ -82,6 +82,7 @@ tests:
     - json
     - coq
     - fstar
+    - fstar-lax
   color:
     - json
   conditions:
@@ -99,6 +100,7 @@ tests:
     - json
     - coq
     - fstar
+    - fstar-lax
   fn_sig_into_try:
     - json
     - coq