Add support for detecting unreachable code after a throw or return statement.

statement.