Re-added NetCore_Graph to get NetCore_Verify to compile

NetCore_Verify should be rewritten against NetCore_Topology and ocamlgraph.
I don't have time to fix it right now so I'm leaving it in for the time being.