pub fn verify( module_bytes: &[u8], pk: &PublicKey, ad: Option<&[u8]>, symbol_name: &str, ) -> Result<(), WError>