Add a failing benchmark for vector shrinking This introduces an ad-hoc framework for making benchmarking assertions, using cprof.