ci: test for and display circuit constraint counts

We should add tests that check the constraint counts for circuits are less than some value. I know circomkit can do this check in tests, so that would be an easy place to introduce it.

We should also consider outputting some metadata for the circuit artifacts in the release CI.