pub fn verify(seed: &BigUint, num_steps: u64, witness: &BigUint) -> bool
Performs a Verify() step for the MiMC-based VDF result