SI-8731 warning if @switch is ignored

For matches with two or fewer cases, @switch is ignored. This should
not happen silently.
Maybe wrap the `lengthMax3(casesNoSubstOnly) > 2` in  `def exceedsTwoCaseOrAlts` (to explain what kind of 'length' we're measuring), which contains `lengthMax3` as a local method?