We should validate correctness with a fuzzing harness that generates random insert, update, balance, and remove operations, and verifies that various queries return results consistent with a brute-force implementation after each step, in addition to any other invariants we can think of.
We should validate correctness with a fuzzing harness that generates random insert, update, balance, and remove operations, and verifies that various queries return results consistent with a brute-force implementation after each step, in addition to any other invariants we can think of.