Now tracks source info for simplification
more bool mux simplifications
tidy muxOptB
Sat & Eql
CompS
trimDGraph: remove unused components
hash-consing, with GenBuses' experiment
fix memoizing genComp
Typeable
Drop GenBuses'
Circuit statistics
Track reused components.
"elimd" --> "reused"
Keep reuse per component for easy trimming.
Eliminated Writer from CircuitM