Adding more proptests is generally welcome. (Copy of [this issue](https://github.com/b-wagn/hash-sig/issues/50))