Function verify_mac 

pub fn verify_mac(
    keys: &SessionKeys,
    seq: u64,
    payload: &[u8],
    aad: &[u8],
    mac: &[u8],
) -> bool

Validate an authentication tag for a control payload.