CIP-0013: Correct an error in the Daml models controlling the re-onboarding process for Super Validators who have been removed from the quorum. The error allowed Super Validators to mint Canton Coin greater than their agreed share after being removed and returned to the quorum.