And we do this without any user logouts... so really, using

SHA512

over

SHA256

wouldn't make too much of a difference.