Refactor existing tests as BlackBox properties

[Baptouuuu]

By replacing the existing tests with properties would allow to more easily prove the behaviour of other implementations.