>default: return assertNever(s) を記述することでチェックするのは、その記述が無くてもエラーにしてほしいんだけど？

どのパターンにもマッチしない場合に何もしないという場合はあるわけだから、エラーにするのか
しないのかを示さなきゃならないのは仕方ないだろう。
strictNullChecks付けるのを忘れるからデフォルトでonにしてほしいとか言ってるようなもん。