Writing code without bugs is indeed a hard problem. Not only for upgrade paths.

Sometimes the tradeoffs of the application make it worth to spend QA resources to validate a staggered upgrade path.