[kernel] Annotations.code_annot now returns a normalized AAssigns

All loop assigns corresponding to a given set of behaviors are now merged
together instead of being split into emitters. This is the same as what is done
for statement contracts and will make it much easier for callers to identify
appropriate loop assigns