ICS28: Reflect deferred unbonding completion in spec

[mpoke]

Closes https://github.com/cosmos/ibc/issues/825

[danwt]

By the way, just a thought: I see huge value in preconditions, but postconditions on the otherhand seem to be largely a rewriting of the pseudocode. Might it make maintenance easier to get rid of postconditions?