use pool.terminate() in algorithms.ec.GA_run(), yielding a speedup