remove RingVerifier::restore_challenges() in favor of PiopVerifier::evaluate_at_zeta()

[swasilyev]

It had seemed just simpler to construct the evaluated piop when knowing zeta, but now i prefer to internalize it to have the verifier code in one place.