Investigate Local Two-Level And-Inverter Graph Minimization without Blowup

[hargoniX]

https://fmv.jku.at/papers/BrummayerBiere-MEMICS06.pdf describes a series of optimizations for AIGs
that we might be interested in applying. Some of the basic ones are already implemented. We should check whether the remainder is worth it to implement and verify.