0.8.0

Major Analysis Improvements

• Improved support for flow through captured variables that properly adheres to inter-procedural control flow.