Disable race analyses for other ConcurrencySafety properties

[sim642]

We realized a little bit of silliness in our SV-COMP setup:

1. Our svcomp confs have always enabled some of our specialty race analyses like region and symblocks to best work on our submitted regression tests.
2. The autotuner was added to disable all concurrency analyses for single-threaded programs, but did not further distinguish by property.
3. Later some per-property autotuning was refactored, but nothing data-race–specific was still done.

The point is that we should disable our specialty race analyses for unreach-call, no-overflow and valid-memsafety analyses in ConcurrencySafety.
In particular, the region analysis is notorious for using a single flow-insensitive unknown which essentially causes everything to depend on everything. This might be quite harmful to performance when we're not trying to prove race-freedom anyway.