Property-based testing (using gopter or rapid)

[swarna1101]

Test invariants (e.g., hash determinism, map thread-safety properties)
Generate random inputs and verify properties hold