Detect loops

[indutny]

There're edges that don't consume any input bytes:

• .otherwise()
• .peek()

Detect infinite loops if they're possible. The execute should be guaranteed to terminate.