- Make running benchmarks during Ant unit tests optional and disable
them by default. Document that in the JavaDoc of BenchmarkTest.
- Notice that the sysproperty "benchmark" which I removed from the
build.xml probably wasn't being used yet. I think its cleaner to exclude
the classes than making them manually check for the sysproperty upon
runtime.
- Change parameters of BenchmarkVerifyAndCorrectStoredScores to match
the current size of the on-network trust graph.