CircuitSizer#min_size spec: validate arch.o == 0 check
CircuitSizer: OCD method reordering