Teach buildFlowGraph about functions that are known to always throw.

It can treat calls to these functions like a jump to function exit,
allowing for more accurate tracking of dead junctions.
Account for empty flow-through case bodies in buildFlowGraph
Handle non-breaking case bodies in switch statement.

These are rare, but they can occur in emscripten-generated output.