Teach `batch-runner.py` how to respect the `sequential_execution_indices` attribute so that it executes the requested indices sequentially.
Teach `batch-runner.py` how to respect the
`sequential_execution_indices` attribute so that it executes
the requested indices sequentially.

delcypher/klee-runner,delcypher/klee-runner