Make warpspeed scan tunable

[bernhardmgruber]

The current benchmarks for DeviceScan target the old scan implementation which is no longer used in most cases. The benchmarks need to be adapted so they tune the new warpspeed implementation.