[TIR] Add pass to check for out of bounds memory access

[tkonolige]

This is a conservative static analysis that checks to see if any out of bounds array access occurs. It is not enabled by default.

@Lunderberg @AndrewZhaoLuo @jwfromm

cc @gigiblender

[AndrewZhaoLuo]

I'll take a look over the weekend