KISSDecomposer: pass --width to Decomposer
Decomposer.decompose_circuit: pass width to constructor
Decomposer#decompose: no-op when the circuit fits
add Circuit#max_width
add Function#width