Use property testing to ensure serialize/de-serialize pairs are correct.

[lemmih]

Issue summary

Use quickcheck to test that any value can be serialized and then de-serialized without loss of information.

The list of types to be tested:

• [x] BlockHeader
• [x] SyncStage
• [x] SyncState
• [x] ChainExchangeResponseStatus
• [x] BeaconEntry
• [ ] ElectionProof
• [ ] GossipBlock
• [ ] Ticket
• [ ] TipsetKeys
• [ ] Tipset
• [ ] Signature
• [ ] SignatureType
• [x] VRFProof
• [ ] Encoding/src/checked_serde_bytes.rs
• [ ] Node
• [ ] Root
• [ ] IpldJsonRef
• [ ] KeyInfo
• [ ] Policy
• [ ] NetworkVersion
• [ ] PoStProof
• [ ] Address
• [ ] BigInt
• [ ] Cid
• [ ] GoVecVisitor
• [ ] PeerId
• [ ] MessageReceipt
• [ ] Message
• [ ] SignedMessage
• [ ] ActorState

Other information and links

Blocked by #1880