Function verify 

pub fn verify(pk: &[u8], m: &[u8], ctx: &[u8], sig: &[u8]) -> bool

Verify an ML-DSA-65 signature; true iff valid for (pk, m, ctx).