[DAM analyzer] implement array tracking reset

Some write operations on arrays can't be fully tracked (unknown index access for example) or cases where the array is handed out to something else (since it's a ref type). In all these cases the data flow tracking can't correctly track the contents of an array anymore. The analyzer should reset the array values to all unknowns in this case.

Linker currently implements this for the most part, but analyzer only partially. See references to this issue in tests for cases where we know about differences in behavior.