Decompositions: default to CircuitDecomposer
the grand width → binwidth replacement
add Circuit#not_smaller_than
Function spec: combine #is and #os specs
add Arch
reimplment Circuit#not_smaller_than
add Function#arch
Decompositions#decompositions: sort by Circuit#size
add Circuit#size