Add microbenchmark for selection algorithms (so far, only QuickSelect in
three variants)