Circuit checker organization

[codygunton]

Organization is bad. There should be: a class WitnessChecker with a single function template template <typename Builder> check(Builder&) that should be explicitly instantiated for each flavor.