ID:199009 Use --gen_testbench when generating test bench files

CAUSE: You tried to use the --vector_source or --testbench_file or --check_outputs options but you did not specify the --gen_testbench option. You must use the --gen_testbench option to enable test bench file generation.

ACTION: Make sure you specify the --gen_testbench option when generating test bench files.