The group abstraction is very tricky to implement correctly.

Managing the `finished?` state breaks the invariant expected by the
task tree (i.e. a group is always finished, or never finished).