The circuits in this `tests` directory are experimental circuits that are
intended to provide performance benchmarks for iteresting theorem statements.
These circuits have not been carefully vetted and may have errors, and thus
should not be used in a production use case.
