added time limit to fuzzer