Support switch statements

+ Fix early basic block removal error
+ use a set for removedSuccessorsOf
+ Test for insane case ordering
+ Implement nested break targets