Checks whether the specified options are valid, setting appropriate violation flags.
This function assumes that the options argument can contain multiple bits.