snark::block_verify_effectful::snark_block_verify_effects