Add a simple quickcheck property to `newPeerId`

This just asserts its 20 bytes long. It's more of a QuickCheck seed into
the project, than anything else.