Make 'index out of bounds' a compile-time error

[Manishearth]

@StefanoD

As already stated in this thread: If you in some cases know, there aren't OOB's, you don't have to do bound checks.

That has nothing to do with the proposal. This optimization already happens.

If this error were a lint instead literally nothing else would change.