Remove unnecessary Arcs in verifier.rs