verilator: be more conservative and set finish_cycles to something large