Adapt to Owned -> Send and borrowing of &fn

Use closure-less loops in quick_check to allow passing the prop closure
recursively (due to the &fn borrow change).
shrink: cleanup shrink for ~[T]
shrink: type out the (A, B) tuple case
Add simple [bench] tests for shrink.