iddqd 0.4.5

Added

• iddqd's core invariants are now formally verified under adversarial Hash and Ord impls using the Soteria symbolic executor. No new bugs were found during this process.

  The formal verification is broad (covers all possible adversarial return values) but bounded-depth; it acts as a complement to the existing layers of randomized testing, which are less broad but generate much deeper operation sequences.

  For more information on our validation philosophy, see this Oxide blog entry.

• Expanded examples for BiHashMap's Entry.