[`symbolic-ledger`] `LedgerCircuitGates` count is not good enough

[sourabhxyz]

We log constraints in Tests.Symbolic.Ledger.E2E.Compile module, for type parameters defined in Tests.Symbolic.Ledger.E2E.Two, number of constraints exceeded 2^18.

[sourabhxyz]

@vlasin I have temporarily assigned this to you so that you can decide how to go about it :)