Merge branch 'random_stealing' into 'master'

Merge: Randomized Work Stealing

See merge request !6
Status Job ID Name Coverage
  Build
passed #2830
build_cmake

00:39

 
  Test
passed #2831
run_tests

00:40

 
  Sanitizer
passed #2833
run_address_sanitizer

01:17

passed #2832
run_thread_sanitizer

00:56