OOM when type checking with array slices

**Describe the bug**
This is related to #4160 and #4161. I don't actually know what the root cause is.

If you write the following code:

```
pub fn array_rotl_fixed
(x: bits[ELEMENT_SZ][ARRAY_SZ]) -> bits[ELEMENT_SZ][ARRAY_SZ] {
const K = K % ARRAY_SZ;
const if K == 0 || K == ARRAY_SZ {
x
} else {
let left = array_slice(x, u32:0, zero!());
let right = array_slice(x, K, zero!());
array_rev(array_rev(left) ++ array_rev(right))
}
}

#[test]
fn array_rotl_fixed_test() {
let x = u8[4]:[0, 1, 2, 3];
assert_eq(array_rotl_fixed<1>(x), u8[4]:[1, 2, 3, 0]);
assert_eq(array_rotl_fixed<2>(x), u8[4]:[2, 3, 0, 1]);
assert_eq(array_rotl_fixed<4>(x), u8[4]:[0, 1, 2, 3]);
assert_eq(array_rotl_fixed<5>(x), u8[4]:[1, 2, 3, 0]);
}
```

we get an OOM at 12G of memory executing ParseAndTypeCheckDSLXSourceFile command.

**To Reproduce**
See above.

**Expected behavior**
An error message for what is wrong.