Users are pretty much always able to choose their search engine. I don't understand what you mean by "give users the choice of default search engine". What would that look like? A global vote on the defaults for various platforms?