Detect mutations of arrays and array members

Requires the changes from #15784