More elegant rejection of empty trees
Catch error when processing options
Fix error and show position in reports
Print unique ids more clearly
Failed VC is now a warning
Add strict fields in topological order in RestoreMethods and fix errors
VerificationReport takes program as parameter
Remove verified VCs
Memoization
Recursive compilation/evaluation
Memoization tests
Dodgy ScalaPrinter hack to import leon lib.
Support for fine-graining VCs
Refactor AmortizedQueue benchm.
Change memoization criterion for large types. Also, some refactoring