SI-7756 Uncripple refchecks in case bodies

In 65340ed4ad2e, parts of RefChecks were disabled when
we traversed into the results of the new pattern matcher.
Similar logic existed for the old pattern matcher, but in
that case the Match / CaseDef nodes still existed in the tree.

The new approach was too broad: important checks no longer
scrutinized the body of cases.

This commit turns the checks back on when it finds the remnants
of a case body, which appears as an application to a label def.
SI-6797 Test case for already-fixed DelayedInit bug

Progressed in b4fbb7be0e2, "translation for DelayedInit keeps
more code in original class."
SI-7729 Fix broken windows build

Fixing #ifdiff uncovered a latent bug in partest when it detects
paths to normalize in test log output.  It would not normalize
file separators for test names with non-word characters.

This commit normalizes the test name to the ticket number as a
workaround until the next partest version is picked up.

It also fixes partest in this repo in case we've not yet switched
over to the new repo.  A separate PR will be submitted to the new
repo as necessary.
Merge pull request #2839 from densh/topic/si-7757

SI-7757 disallow constructor annotations on traits
Merge pull request #2854 from som-snytt/issue/7729-slash

SI-7729 Fix broken windows build
Merge pull request #2840 from retronym/ticket/7756-2.11

SI-7756 Uncripple refchecks in case bodies
Merge pull request #2853 from retronym/ticket/6797

SI-6797 Test case for already-fixed DelayedInit bug
weed remnants of early type defs out

This commit removes the dead code that was originally intended for
implementation of early type definitions.