Determine list of thread wrappers & Create autotuner for it

[michael-schwarz]

Since #1021 we now have the concept of wrappers around thread creation. We should look at the SV-COMP benchmarks and determine which wrappers appear there often to set a useful default. Also, we should extend the autotuner to also autotune the list of wrappers.