When passing the --json -l options to circt-test and providing an empty file, the tool prints "no tests ..." to stderr and nothing to stdout. If JSON output is enabled, it should print an empty array.