Remove fuzz time from `Klee` runner. There isn't a good reason to have it. The user should just have suitable values for `explore_max_time` and `generate_tests_max_time`.
Remove fuzz time from `Klee` runner. There isn't a good reason
to have it. The user should just have suitable values for `explore_max_time` and
`generate_tests_max_time`.

delcypher/klee-runner,delcypher/klee-runner