Function verify 

pub fn verify(
    message: &[u8],
    signature: &[u8],
    carried_key: &[u8],
    profile: Profile,
) -> bool

Whether signature is valid over message for a key as carried, under profile: an ML-DSA-87 signature in pq_pure, and in pq_hybrid a composite whose two halves both verify, with the key in its one carried form. Malformed input is refused, never panicked on.