Vyper developer banteg releases vyupgrade, an open-source tool that automatically rewrites legacy smart contracts and verifies safety before committing changes.