Adapt RunSimulator visitor to new downward navigation gears in the CF PRG realm

This is a follow-up to the recent !496 (merged) on Event Views. This auxiliary visitor is used to estimate the asymptotic speedup limit, so no changes to the core traversal machinery here.