Bump QuickCheck bounds
Update examples