Basic switch support

- Base test case
+ Fix early basic block removal error
+ use a set for removedSuccessorsOf
Cleanup switch logic
Switch breaks

Test for insane case ordering
Implement nested break targets