dispose method

void dispose()

Clean up workers

Implementation

void dispose() {
  workerManager.dispose();
}