Concolic mode now uses the -i argument to limit the number of iterations

Use -i 0 for full exploration. Default is 4.