Add requirement.
Expose circuit options on supervision.
Update dependency on finite_machine.