Circuit: replace #{i,o,q,p}_widths with #widths
specs: compare Doubles on indentity 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