pub fn verify<W1, W2>( path: impl AsRef<Path>, _: Context<W1, W2>, ) -> Result<Outcome>where W1: Write, W2: Write,