Accept invalid transformation when UB generated in last instruction (if type=void)

The following 2 examples are accepted as valid:

```
%v = add 0, 1
  =>
unreachable
```

And:

```
%v = add 0, 1
  =>
%v = 1
store undef, * null
```
