Code assumption failed to pass static analyzer

[zicofish]

The PRG code won't pass some strict static analyzer (warning as error), pointing to a potential vulnerability here:

emp-tool/emp-tool/utils/prg.h

Line 85 in 44b1dde

memcpy(data, tmp, nbytes);

There seems to be an assumption about the execution condition of the second branch: nbytes <= 32, which might be ensured by the call to std::align. Perhaps this should be made more explicit in the code?

[wangxiao1254]

Let me think about how to make it explicit. If you can paste the precise complaints from the static analyzer, that would be helpful.