generate compiler error when a restrict violation is detected

This is currently only supported by gcc 8+. We might turn it into a warning if there are false positives.

It will probably only detect trivial violations of the restrict keyword.

Draft: on top of !3155 (merged)