balance_sheet: Re-simplify the "release from restrictions" math.

Basically the original bug was an incorrect sign. The last implementation
was very belt-and-suspenders to help me think through it. But it's also more
error-prone in the long run.