By splitting the implementation into `Scheduler` and `Pool` types,
the user-facing Scheduler type is now free of reference cycles:

- no more `Scheduler.finish()` method to break reference cycles
- automatic join when no references to the scheduler remain