Pitch: enable bounds-checking for BufferPointers

Is been thinking about this a lot lately, too. And this design choice could also be considered “frankly absurd”. Why weren’t unsigned integers used from the start?