Always use property based testing where possible

[Fi3]

That means that each lib crate of the workspace should have a test framework that resemble the one that we have on sv2-ffi.