Simple utility that generates C equivalence checkers for pairs of circuits. [COMPLETE]