Add unsafe test to check that dropped values are zeroized

[dvdplm]

Test that zeroization actually occurs when a boxed value goes out of scope.

Uses unsafe code, likely relies on UB and adds a custom allocator, hence the draft: is something like this acceptable?

c.f. iqlusioninc/crates#1310

[dvdplm]

I guess the original question still stands: is something like this acceptable? I'm on the fence myself, hence the draft.

[newpavlov]

Personally, while I am fine with having such test, I don't see much worth in it. I will leave the final decision to @tarcieri.

As a small suggestion, it may be worth to slightly modify how the test is implemented. Instead of reading leaked memory in the test itself, it may be better to allocate a known size (e.g. 1024 bytes) using SecretBox and then in dealloc check that deallocated memory with such size should be filled with zeros.

[newpavlov]

@tarcieri WDYT? I lean towards closing this PR.

[tarcieri]

While it would be nice to have a test, I worry about including one that has UB

[newpavlov]

Closing in favor of #1199