Fixed forward gotos in CFG creation. Framework for automated stress tests of CFG creation algorithm.

see Tests\ControlFlow\Spec\CFG\readme.txt