limit check pushed inside loop

[Stephen Weeks]

> Moving limit checks earlier, as done in
> MLton, can only increase the space required by O(1), so it is fine.

What do you think about the Array(1000, ...) example?