Remove trivial valid-memsafety from loop-invariants, add missing loops-crafted-1 directory to MemSafety-Other

This MR removes trivial valid-memsafety properties and adds one left-out task to valid-memsafety.

1. The MR removes trivial valid-memsafety properties from tasks in loop-invariants/ and recursified_loop-invariants/. These tasks either only use no pointers and only arithmetic operations (loop-invariants/) or a single pointer-to-variable mapping without any pointer aliasing or pointer arithmetics (recursified_loop-invariants).

This only removes properties for tasks that were not included in any MemSafety-category so far.

2. The MR adds https://gitlab.com/sosy-lab/benchmarking/sv-benchmarks/-/blob/6a611de315da26fd1d4c9bd888a22df38f572fce/c/loops-crafted-1/net_reset.c to MemSafety-Other. This task received the valid-memsafety property last year (c9415260) but was never included in any MemSafety set file.