The Pre-Upgrade Verification Tool