cirq.testing.assert_all_implemented_act_on_effects_match_unitary

Uses val's effect on final_state_vector to check act_on(val)'s behavior.

Checks that act_on with CliffordTableau or StabilizerStateCHForm behaves consistently with acton through final state vector. Does not work with Operations or Gates expecting non-qubit Qids. If either of the assert*_implmented args is true, fails if the corresponding method is not implemented for the test circuit.

val A gate or operation that may be an input to protocols.act_on.
assert_tableau_implemented asserts that protocols.act_on() works with val and ActOnCliffordTableauArgs inputs.
assert_ch_form_implemented asserts that protocols.act_on() works with val and ActOnStabilizerStateChFormArgs inputs.