Add a simple fixup pass that cleans up scenarios where a switch's default case delegates to another case. This enables the resulting decompiled block to not contain any gotos.
Overhaul the definition of CaseBlock so that it has an IsDefault property (this enables a case with values to also be default).