Warning for missing @inbounds

[Uroc327]

I think a (probably opt-in only) warning for generated @boundscheck statements would be very helpful.

Sometimes, there is code with multiple (inline) functions and nested control flow. In those cases, it can be quite hard to keep track of @inbounds propagation rules and I'd like to have a tool that tells me which lines of my code still perform bounds checking.