add support for profiling souper optimizations

increment a redis variable any time optimized code executes
It would be better if this were a static library, so users don't have to mess around with ```LD_LIBRARY_PATH```s and such.