1. Adds a module frame to catch raises in top-level code.
2. Also marks except expressions and finally blocks as branch points.
The branch kinds are: branches, except_branches, and reraise_branches.
* branches are your usual branch decisions: ifs, fors, and whiles.
* except_branches are at "except E:" statements, with True indicating the exception matches and False indicating it does not
* reraise_branches are at the end of "finally:" blocks, with True indicating the path taken after finally if an error has been raised previously, and False indicating the path taken if there's nothing to reraise at the end of the finally.