Currently, it looks like moss is stuck verifying on a single core at a time. Perhaps it would be fruitful in a performance sense to parallelize this feature?