Detect infinite loops

[marcelocantos]

• Best: Detect statically
• Good: Detect repetition of an earlier state (including scanner position).
• OK: Detect too much time (or iterations or something) spent at the same scanner position.

Also consider stack depth analysis, though that might be covered by the above.