Refine RSE analysis further.

Avoid blowing the stack on cyclic dependencies, avoid trying to reclaim from
scratches whose persistent ground is interrupted by an async edge (<~).