Findings discovered by Voyage

The following issues were discovered and shared with Zellic by the Voyage team while the audit was ongoing.

• For one, _burn should be called in claim, not withdraw. This causes the exchange rate to become inconsistent.

• Also, SeniorDepositToken::redeem is allowed to bypass the unbonding mechanism as it is not overridden.