Bug fixes in threading and concrete execution; More command line options
borrowed from KLEE's coreutils testing