- renamed NoCode attribute to NoVerify
- added API function to create custome attributes
- added function to LoopInfo to recompute the loop body.