snark::work_verify_effectful::snark_work_verify_effects