apc-optimizer

Improve apc-optimizer, the verified circuit optimizer. Use when asked to make the optimizer more effective or to run an autoopt iteration.

Improve apc-optimizer, the verified circuit optimizer — add an optimization pass, measure effectiveness on the benchmark set, keep the correctness proof intact, and log the result. Use when asked to make the optimizer more effective or to run an autoopt iteration.