Make remaining funds accessible or require equality in balance updates

[sebastianst]

A channel update is currently assumed valid if the sum of the new balances is <= the current sum.
If the strict inequality holds, some funds will currently be trapped in the contract. We could

• make them accessible. E.g. by making the contract Ownable and put remaining funds on each update in an owner's balance
• require strict equality on balance updates