Simple utility that generates C equivalence checkers for two circuits. [Current status: WRITTEN, UNTESTED]