By default, the SelectMenu component alphabetically sorts the choices. Before this commit, this wasn't avoidable. As there's now a usecase of SelectMenu where we want to enforce a specific order on the choices (the website AceEditor), this commit introduces a props `autoSort`, which is `true` by default, but which allows to disable the sort. Part-of: odoo/odoo#139154