Draft: Resolve "Allow using the random scheduler in benchmarks"

Can't show this merge request because the source branch 161-allow-using-the-random-scheduler-in-benchmarks is missing from project she/theodolite. Close this merge request or update the source branch.