Algorithm: Implementations check each other

 An algorithm can have multiple implementations. Use Property-Based-Testing to verify them each other. Nice for performance tuning, etc (Versions required).