Added forAllNoShrink's with implicit arbitrary generators

This pull request adds `forAllNoShrink` methods that take implicit Aritrary instances, similar to their `forAll` counterparts.
This alleviates need to explicitly pass well-known arbitrary generators when defining non-shrinking properties (less boilerplate).