Detect loops without yields in the CFG and raise an exception

[leonardt]

In our current spec, loops in the CFG must be broken by a yield statement.