CircuitDecomposer spec: switch to Bogus
bump Bogus
CircuitPresenter spec: switch to Bogus
Circuit spec: switch to Bogus
Decompositions spec: switch to Bogus