Add checks on `cop.highlights` in the "register an offence" examples to see that the highlighted ranges are OK. It's actually more important to have the checks here than in the "accepts" examples where `cop.highlights` will be empty if `cop.messages` is empty.