Using hook_form_alter to change from text filter to checkboxes
You probably want to use #type checkboxES (uppercase only for emphasis ;)), which is a list of checkboxes. checkbox is just a single checkbox that can either be checked or not, it can't have multiple options, so that property is ignored.