some optimizations
Merge branch 'symfront' of https://github.com/SRA-SiliconValley/jalangi into symfront
more stat collection
removed some console printing
Merge branch 'symfront' of https://github.com/SRA-SiliconValley/jalangi into symfront
solver caching
Merge branch 'symfront' of https://github.com/SRA-SiliconValley/jalangi into symfront
new console output format and new data