I built DeployProof: Fast diff-scoped mutation testing (2–4s) and pre-push verification for Python