You should be using sha512hmac() it's designed for seed-key combinations.
Thank you, Kuji Kiri.
Although using HMAC would not have prevented this specific issue from happening, Cristian and I are looking into other ways to strengthen our hashing algorithm. We will seriously consider implementing HMAC-based hashing.