Reimplement many-sized trim command
Factor out explore workers from batch.py to workers.py