Simplify handling of switch statements in registerizeHarder.

It now assumes they're of the very restricted for that's actually
produced by emscripten, which both simplified the code and uncovered
opportunities for further register reduction in a testcase.
Add TODO about more permissive label handling in registerizeHarder