Remove need for matching start ranges

[Nashtare]

Tiny tweak to remove the need for matching start ranges in the AllRecursiveCircuits initialization. Allows to scrap out ~4.6GB of useless data when serializing (out of the ~6.5GB for the empty_txn_list example, i.e. ~72% reduction).
Also fixes some invalid end ranges.

[npwardberkeley]

Hi! Can you explain a bit more about how this works please? How does the constant gate remove the need for matching start ranges?

[Nashtare]

Hi @npwardberkeley! That actually comes as some magic trick out of my hat. I was puzzled for a bit as to why we needed all ranges to start at 9 (the lowest, necessary for KeccakSponge), and upon investigation, I noticed that the BlockCircuit creation was complaining about CommonCircuitData mismatch, when using builder.conditionally_verify_cyclic_proof_or_dummy(). The built dummy_circuit will have this ConstantGate but not the provided common_data, which leads to the assertion failure at the end of the dummy_circuit function.

[npwardberkeley]

Oh I see, that makes sense! Thanks!