Shuts down the persistent mirai daemons tabxplor starts under
options(tabxplor.parallel = ). The pool is otherwise reused for the whole session and
cleaned up when the package is unloaded; call this to release the workers earlier.
See also
tabxplor-options for tabxplor.parallel, the switch that starts the pool.