vtrace_fmt! is not compatible with formatter

[mikex-oss]

Describe the bug
I am unable to use vtrace_fmt! (introduced in 0af7633) due to interactions with the autoformatter.

To Reproduce
Write some code:

fn main() { 
    trace_fmt!("Hello world");
    vtrace_fmt!(4, "Hello world"); 
}

Run DSLX formatter and get:

fn main() {
    trace_fmt!("Hello world");
    vtrace_fmt!("Hello world");
}

Notice the verbosity level is dropped. Run DSLX formatter and get a parse error:

Formatting failed: Error: INVALID_ARGUMENT: ParseError: foo.x:3:16-3:31 vtrace_fmt! macro must have at least 2 arguments.
=== Source Location Trace: ===
xls/dslx/frontend/bindings.h:59
xls/dslx/frontend/parser.cc:2062
xls/dslx/frontend/parser.cc:2227
xls/dslx/frontend/parser.cc:2487
xls/dslx/frontend/parser.cc:1328
xls/dslx/frontend/parser.cc:1328
xls/dslx/frontend/parser.cc:1328
xls/dslx/frontend/parser.cc:1328
xls/dslx/frontend/parser.cc:1328
xls/dslx/frontend/parser.cc:1328
xls/dslx/frontend/parser.cc:1434
xls/dslx/frontend/parser.cc:1328
xls/dslx/frontend/parser.cc:1328
xls/dslx/frontend/parser.cc:706
xls/dslx/frontend/parser.cc:3535
xls/dslx/frontend/parser.cc:1752
xls/dslx/frontend/parser.cc:224
xls/dslx/frontend/parser.cc:473
xls/dslx/parse_and_typecheck.cc:71
xls/dslx/dslx_fmt.cc:102
xls/dslx/dslx_fmt.cc:206

Expected behavior
The formatter shouldn't drop args in vtrace_fmt!.