Fixing a number of bugs with the declaration of graph parameters. Fixed an edge-counting bug in directed_graph::remove_vertex.