Adds a transform that does runtime checks for array bounds

Does not currently detect malloc arrays. Needs further testing