log: better err log when circuit overflow

[lispc]

Describe the feature you would like

some circuits (eg bytecode circuit), will ignore assignment after "row limit". So constrain failures will happend.

We'd better report Err::Systhesis early? At least for bytecode circuit / evm circuit / copy circuit, which are the bottleneck, and mostly likely encounter overflow.

(It is not about overflow 1<<28, but overflow of the "pre-set row limit", eg 0.6M for bytecode circuit)

(not of high priority)

Additional context

No response