Discuss changing the well-formedness check of TreasuryWdrl

[WhatisRT]

We've had a small discussion that it might make more sense to just forbid zeros entirely in TreasuryWdrl, rather than to just force a single non-zero entry. We can't change it now, but it might be something to do for the future.

[WhatisRT]

This situation is also a good example for why striving for concise notation is a good thing. It's much less obvious that this is weird when buried deep inside big functions somewhere: https://github.com/IntersectMBO/cardano-ledger/blob/master/eras/conway/impl/src/Cardano/Ledger/Conway/Rules/Gov.hs#L511

Also, apparently I've already complained that this type of check would have been better in the mempool: IntersectMBO/cardano-ledger#4582 (comment)