Allow input state to be varied for testing circuit equivalence

The following discussion from !47 (merged) should be addressed:

• @eschoute started a discussion: (+1 comment)

  Where is the input state of the circuit defined?