Otionally pass tmax to testmanyv via command-line.