Update CI test count to 673 tests, 0 skipped (added 33 JDT tests, 1 jqwik seed)

Author: simbo1905

.github/workflows/ci.yml

@@ -39,8 +39,8 @@ jobs:
                       for k in totals: totals[k]+=int(r.get(k,'0'))
                   except Exception:
                       pass
-          exp_tests=639
-          exp_skipped=5
+          exp_tests=673
+          exp_skipped=0
           if totals['tests']!=exp_tests or totals['skipped']!=exp_skipped:
               print(f"Unexpected test totals: {totals} != expected tests={exp_tests}, skipped={exp_skipped}")
               sys.exit(1)