Be more careful with 32-bit additions in SHA256.