Better fuzz testing and consistency checker #3
Description
The existing fuzz testing is functional but quite simple, and is lacking a true linearizability checker. To improve:
- We should do better input generation for fuzzing
- We should add fault injection functionalities
- We should build a true linearizability checker to complement the current "causal" checker