Define wave and wavedepth constants for DAGs.

wave : num -> graph -> action bag

  returns a bag/multiset of the actions contained in a given wave of
  the graph.

wavedepth : graph -> num

  returns the number of waves a graph contains. An empty graph has no
  waves.