This is to clarify the lazy caching strategy we use for the fields for
the Graph (forward and reverse deps, and associated mappings).
Reorder the fields, and mark non-lazy fields as strict. Make
construction go via a smart constructor that fills in the cached fields.