Comment by mappum

Well in the number-script compiler, it verifies code by running it (I'm not sure if that qualifies).

Also, you would get stuck on code with infinite loops.