Drop checks on PRIM_BLOCK types
Improve CForLoop verify and add BLOCK_CFOR_LOOP tag to new CForLoops