This is an initial integration of the rapidcheck property based tests.
The original test has been slightly modified to adapt to our codebase.
The feature has been added to CMake and the documentation updated
accordingly.
Note that as opposed to autotools, which enables the test automatically
if `rapidcheck` is installed, it is disabled by default with cmake and
requires a flag to be set by the user.
Backport of core PR12775, PR16622 and PR16645.