added norm test
Added more informative verify errors on ForLoop