add support for profiling souper optimizations

increment a redis variable any time optimized code executes
This shouldn't be using the test solver; the only user of the test solver should be the test suite. The choice of solver should be specified using some other mechanism, possibly an environment variable.