Verify that given message, secret key and tag, a newly calculated tag matches the received HMAC-SHA512-256 tag.