Check that gas computation and other metering is removed from loops

[chriseth]

If a loop iteration consumes constant gas (g) and the number of iterations is "known" (n) in advance, the optimizer should convert the out-of-gas checks into a single if (gas <= n * g) throw before entering the loop.