added more asserts/notes for known index out-of-bounds accesses (nw)