Checkboxradio: Deprecate option "mini"

Fixes gh-7463