Understand and standardize `adjustUnbalancedTx`. about cooked-validators

[VictorCMiraldo]

As it turns out, this is more messy than I expected, really. This feature is, in fact, very messy.

Take our PMultiSigStateful contract. Now, the creation of the proposal has to have enough funds on it. If it happens to have less funds on it but we call adjustUnbalancedTx, we can't use the paymentValue when issuing the payment because we'll get a ValueNotPreserved.

Moreover, every Sign UTxO has to have 2 ada on them. Alright! But what happens to these ada when the payment is issued? Do we return them to their owners? How about users that created an additional Sign datum? In this case, that will stay locked forever. In order to speed up merging of #42, I went the easy road and decided that all these collected minAda will be given to the receiver of the payment, so we don't have to keep nearly as much information around.

[VictorCMiraldo]

This has been closed. adjustUnbalancedTx is not called by default and the function has been fixed.