Property: If a transaction contains `k` proposals, the deposit pot for governance actions grows by `k * govDeposit`.

[WhatisRT]

This is related to #359. In fact, this is just the first few steps of gmsc in Ledger.Utxo.Properties factored out into a new lemma.