New proper graph API
Fix forAllTests, improve tests printing
Include times, fix testcases
Improve EquivalentInputs, use foo' to represent new function. No BUTEGIS
doh
Add more expressivity for Booleans
Variations of case classes. if C(a,b), try D(a,b) as fix
Better grammar debug output, SimilarTo inlines E* which is much faster
Add benchmarks
Fix benchmark
Fix benchmark
Fix invalid benchmark (buggyBalance can trivially call balance)
Print tables correctly when title is larger than content
Support for parallel verification