Update integration tests with new SV-Benchmarks tasks
There were quite a few tasks added to SV-Benchmarks recently. We should go over all our integration tests for the BuildBot and check where it makes sense to add them. Maybe at the same time it is also a good point to revisit the decision of what to include in each test in general to have a good balance of resource usage and usefulness.