Add static analysis
Update testing infrastructure. Temp files can now be kept.
Fix header output
First usable version
Add profiler support
Coding style
Optimize Expr.walk, which turns out to be a hot function
Use an environment variable to control profiling
Fix tester
Enforce max_expr_complexity
Minor fixes and improvements
Add make function