Expose RefGraph in __init__.
Fix reversed edges in DOT output.
Make strongly_connected_components non-lazy.