proxy exec.: move proxy exec. data structures near pi_lock

They are ideally protected by it (see if this is actually true).
proxy exec.: restructure set/clear proxy exec. and add comments on locks