Enable array bounds checking by default

[jeroenk]

Consider enabling array bounds checking by default. For this to be useful, gvki probably needs to be resurrected. We will also need to go through the test suite to see why kernels are failing bounds checks.