Document the current ordering issue
Introduce the BLOCK_CFOR_LOOP tag for BlockStmt and apply it to the init/test/incr clauses in a CForLoop
Add basic verify checks to For/While Loops