[`symbolic-ledger`] `ledgerSetup` step fails when importing `Tests.Symbolic.Ledger.E2E.Two` (instead of `_.One` module) in `specE2ECompile`

[sourabhxyz]

Fails with an "arithmetic underflow" ArithException. Could this be due to #766?

[sourabhxyz]

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