* Exposes the --output and --spill-translation options for the dafny test command