refactor staleness code to follow same pattern as order permuting #53
Description
We should not use a for loop to directly iterate over "possible stale views" branching expansion. instead we should use the DFS stack like everything else to keep everything unified.
Relatedly, we should refactor stuckReconcilerPositions (which simulates a network partitioned APIServer shard) to be decoupled from getTriggeredReconcilers. We should keep those concepts separate.