We should also probably make `AlignedType` contain `MaybeUninit` or something like that, as the C code might write padding bytes to it. I think it wasn't stable (enough) back when I implemented this logic _Originally posted by @elichai in https://github.com/rust-bitcoin/rust-secp256k1/pull/635#discussion_r1667327931_