make testcases unique

This tries to give unique testcase names by adding _<x> if a procname
is repeated. There's no promise _1 from one run matches _1 on the next,
but it will probably work out that way in practice.