Some kind of fuzzing in combination with miri would be helpful to gain more confidence in the implementation
