As per recommendations on https://simplesamlphp.org/docs/devel/sqlauth:sql, make the salt as long as the SHA512 hash itself.