v0.4.0

This release achieves parity with https://github.com/fedi-e2ee/public-key-directory-specification/releases/tag/v0.4.0

• We now have test vectors, which pass :D
• ProVerif models and requirements tracing are now implemented, which tracks the pkd-server-php repository (among others)

I was originally going to write these tests to fetch the JSON file from the spec repo on-demand... but that would be annoying if GitHub went down. So I didn't.

This effectively checks off most of the items from my latest blog post about software testing. I'll be making similar changes to the other repositories soon.

What's Changed

• Add test vectors by @soatok in #58
• Update MerkleState.php - MerkleState::insertLeafInternal is missing lock_challenge by @BecomeTheMedia in #56

New Contributors

• @BecomeTheMedia made their first contribution in #56

Full Changelog: v0.3.4...v0.4.0

Much more interesting changelog: v0.3.0...v0.4.0