Arbitrary instances for Solidity primitive types

To help testing functions with solidity types as arguments should be created [Arbitrary](https://hackage.haskell.org/package/QuickCheck-2.11.3/docs/Test-QuickCheck-Arbitrary.html#t:Arbitrary) instance.

Solidity primitive type check list:

- [ ] Address
- [ ] Bool
- [ ] Bytes
- [ ] BytesN
- [ ] IntN
- [ ] UIntN
- [ ] List
- [ ] ListN
- [ ] String
- [ ] Tuple
- [ ] OneTuple