Originally part of %Property Based Tests / Proofs.

This milestone gathers all efforts related to extending the suit of Property-based tests (PBT).

This is a part of the overall Test effort of Tezos.

The high level goal of both PBTs is to increase productivity of developers and lowering costs by improving the software quality of Octez (or achieving the same quality with fewer efforts).

PBT tests to add to suite:

• Add PBTs to places: that lack testing, and that have interesting properties worth checking (e.g. "adding then removing a duration from a timestamp should give back the original timestamp")
• Check that serializing and deserializing Data_encoding structures is the identity function.