add support for profiling souper optimizations

increment a redis variable any time optimized code executes
Sure. TEST_SOLVER was expedient to get this going.