Seria interessante se houvesse uma maneira de dizer ao compilador "compile apenas este acesso ao array se você puder realizar a eliminação da verificação de limites". Assim, você poderia evitar as verificações de limites sem escrever código inseguro, pelo menos em algumas circunstâncias.