Add hack for dead removals around try/catch blocks

Also, less magic.
Fix dead removal test
Add max method visits option, improve filtering
Move reflected methods + immutable classes to cfg