Convert Groth16 StateSize into the Measure APIs

[Brandon H. Gomes]

These are most likely correct:

|gamma_abc_g1| = public inputs
|l_query| = witnesses
|a_query| = |l_query| + |gamma_abc_g1|
|h_query| = #const - 1

but need to double-check them.