Expand test coverage

[nnutter]

• Detect mutation of reference enclosed in another type, e.g., slice of pointers, copy pointers to new slice, mutate on the new slice