Benchmarking IVC circuit

[jprider63]

Hi! I'm attempting to benchmark the IVC circuit for an older version of Mina (1.3.1.2, bacef43) in terms of rows, columns, max degree, etc. Is there an existing tool to produce these statistics? Ideally, I'd like to break down the numbers into different parts of the circuit like deferred computations, transcript/hash operations, etc. Thanks!