Manually transferred.
Dependent issue: Election-Tech-Initiative/electionguard-python#646
Depending on what they do or don't fix, we might need to:
- Ensure that we're always serializing integers to 32-bits
- Remove the 0x00 from the KDF computation
- Encode HMAC keys in hex bytes (hopefully not!)
We should also double-check that they are correctly handling inputs that aren't multiples of 32 bytes long.