Remove expensive assert
Code cleanups
pylinting
more pylinting
Delete constraint debug printing code
Improve large static array handling and remove runtime array length analysis
Remove unecessary var type interning
Fix java cfg bug and improve performance
Add -path info to readme
Add more comments explaining the verifier issue
Complete rewrite of SSA graph generation
performance tweaks
Add test for Procyon to try catch test
Improved ordering of early exit if statements
Assume no linkage errors in field access