[lib/Fuzzer] make the fuzzing timeout 1200 seconds by default (was: infinity)