transformer: automatically add `assert_never` to `match` if there is no `_` case

```py
def f(data: int):
    match data:
       case int(): ...
```
becomes
```py

def f(data: int):
    match data:
       case int(): ...
       case _:
           assert_never(data)
```