No error on function with a invalid byref type parameter

Today and in the past, this compiles:
```fsharp
let f (x: byref<int> option) = ()
```

This should give an error explaining the parameter has an invalid type.

This hasn't been a problem because if you try to use the parameter or call the function, the compiler will throw. Regardless, we should throw even on this case and similar ones.