loopclosure-like analysis within every function that accepts a pointer and starts a goroutine

Checking each function that starts a goroutine and accepts a pointer using an analysis very much like loopclosure, exchanging range-loop variables for pointer arguments. This would tell us if the pointer argument is actually referred to inside the goroutine.

This could be a stepping-stone along the way to #28; and would be helpful even without it.