Add a failing benchmark for vector shrinking

This introduces an ad-hoc framework for making benchmarking
assertions, using cprof.
1 file changed