Property: The voting power of stake credentials doesn't decrease on GA proposals

For a stake credential `a` and a transaction that spends an input with stake credential `a` to propose something and returning the remainder back to addresses with stake credential `a`, otherwise not touching `a`, the voting power of `a` does not change.

Proving this property is currently blocked by implementing the stake calculation.