Add infrastructure for efficient walks through the `Edge` graph

Store a mark in each `Edge` to be updated as it is encountered by a walk.
2 files changed