Check that gas computation and other metering is removed from loops

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.