Futhark implements bounds checking on the GPU