Generate constraint count benchmarks for the core circuits

[iAmMichaelConnor]

Add constraint count metrics to the benchmarks that are generated with every PR.
(Assigning Alvaro, but feel free to reassign)

[sirasistant]

Showcase here #3728