specs: compare Doubles on identity basis
CircuitPresenter: drop all the *_width(s)
promote Pin to production
default Circuit#wirings to an empty Hash
refactor Circuit.from_fsm a bit
Circuit.from_fsm: wire wirings