Get Traces Limits From prover/backend/config package.

[alesforz]

Context

In this issue we are adding a new config pkg responsible for reading in TOML configuration files defining configuration variables for the prover.
The existing corset code responsible for producing a WizardIOP constraint system assumes that said configuration variables (the traces limits) are hard-coded as go constants (e.g., see these two files).

As part of the issue linked above, the new config pkg reads in the traces limits from the configuration file, then subsequent code embeds them into a *zkevm.Builder object passed as parameter here. Therefore, the corset code has to slightly change to now read the traces limits from this object.

This Change

The only change is the formatting string in the wizardiop.rs responsible for generating the go code.

Test

Tested the change with

cargo run -- wizard-iop -o  $WORKSPACE/zkevm-constraints/mxp $WORKSPACE/zkevm-constraints/lookup_tables/tables/instruction_decoder.lisp