CodeVetter v1.13.8

What's Changed

• fix: require observed windows in installed-upgrade proof by @sarthakagrawal927 in #271
• Release 1.13.8: verification readiness and runtime launch fixes by @sarthakagrawal927 in #274

Full Changelog: v1.13.7...v1.13.8