Regular main executable combined with instrumented library not yet working

setup critical edge breaking to 1) emit a map of critical edges, and 2) parameterize which edge types get broken

setup critical edge breaking to 1) emit a map of critical edges, and 2) parameterize which edge types get broken

reworked the red-zone detector to do better than just using leaf functions, as we found the red zone used in a non-leaf function