SHA1-512

NOTE: this is incomplete! I'll get back to this when I have time...