[Test] Introduce fuzzing proptest

[jolestar]

• [x] #160
• [ ] Use proptest for test random edge conditions.
• [ ] Try to use proptest to generate the mock struct.
  • [x] generate MoveAction mock struct

[yubing744]

i will try this task.

[yubing744]

The design concept of Proptest mainly corresponds to two themes, namely "input generation" and "result reduction".

"Input generation" refers to programmatically defining a way to generate arbitrary values representing the space of possible inputs. Instead of predefining a specific set of test cases, Proptest randomly generates a large number of different inputs according to set rules, which can help find anomalies that developers have not predicted or considered.

The concept of "result reduction" is that when Proptest finds a failing example, it tries to simplify or "reduce" the input until it finds the most simplified input that still fails the test. This feature is useful because simply providing random inputs that cause a test to fail can place a heavy analysis burden on the developer. In contrast, Proptest tries to provide minimal failure cases, allowing developers to better understand and fix problems.

Overall, Proptest is designed to automate the generation of random and broad-coverage test inputs as much as possible, while providing concise feedback when problems are found.

[yubing744]

I will try to generate a mock struct of MoveAction, which will be used later to detect whether a maliciously constructed MoveAction will cause Rooch to crash.