[fuzzer] document the -tokens flag. Also change the diagnostic output