add support for profiling souper optimizations

increment a redis variable any time optimized code executes
Agreed.

The sanitizers use symbol interposition to wrap fork and other libc functions but it probably isn't worth doing it here.