SemVerifying upgrade notes