tb: pass `-f` option to verilator only if TRACE_SEQ_FILE is set

Providing an empty -f option causes testbench option parsing to fail, resulting in a segmentation fault.