Comment by jakobson14

The verifier is mostly targeted at not letting a program run forever.