No, Mozilla did not have to choose. They could have offered both as options! They could have allowed the end consumer to control when to upgrade (some would go quickly, some would wait until their key extensions work available). I'll admit, the majority of people will upgrade only when it's the default.