Fix: forward for i8 not i8* when filling in strings
Add always-iterate annotation for self-limiting loops we can't analyse yet