CRMT: Use GroupedOptsWidget multiple=False instead of a new
RadioOptionsWidget. Tweaks to support this in Filter.