improving assembly and fixing typos for SHA-512