Kudos for making a sensible decision. It's much better idea to force your users to go through the pain of upgrading once rather than hitting them again with a MySQL upgrade in a version's time.

Genuinely glad to hear that WP has this foresight in their roadmap.