Avoid off-by-one loop bugs

Check loop bounds with zero-based indexes and the `i < n` pattern. Spot why `<= n` often reads or writes one element past the end.