[formal-snapshots] Introduce strict verification

[williampsmith]

Description

--verify strict adds an additional level of verification by verifying the live object set of the db after restore, rather than simply the contents of the snapshot itself. These two are not equivalent in cases where the restore process inadvertently adds objects to the live object set from a source other than the downloaded snapshot itself. One such example could be inserting genesis objects.

Test Plan

Running locally to verify...

---

If your changes are not user-facing and do not break anything, you can skip the following section. Otherwise, please briefly describe what has changed under the Release Notes section.

Type of Change (Check all that apply)

• [ ] protocol change
• [ ] user-visible impact
• [ ] breaking change for a client SDKs
• [ ] breaking change for FNs (FN binary must upgrade)
• [ ] breaking change for validators or node operators (must upgrade binaries)
• [ ] breaking change for on-chain data layout
• [ ] necessitate either a data wipe or data migration

Release notes

[vercel[bot]]

The latest updates on your projects. Learn more about Vercel for Git ↗︎

Name	Status	Preview	Comments	Updated (UTC)
explorer	✅ Ready (Inspect)	Visit Preview	💬 Add feedback	Jun 11, 2024 7:37pm
mysten-ui	✅ Ready (Inspect)	Visit Preview	💬 Add feedback	Jun 11, 2024 7:37pm
sui-core	✅ Ready (Inspect)	Visit Preview	💬 Add feedback	Jun 11, 2024 7:37pm
sui-docs	✅ Ready (Inspect)	Visit Preview	💬 Add feedback	Jun 11, 2024 7:37pm

3 Ignored Deployments

Name	Status	Preview	Comments	Updated (UTC)
multisig-toolkit	⬜️ Ignored (Inspect)	Visit Preview		Jun 11, 2024 7:37pm
sui-kiosk	⬜️ Ignored (Inspect)	Visit Preview		Jun 11, 2024 7:37pm
sui-typescript-docs	⬜️ Ignored (Inspect)	Visit Preview		Jun 11, 2024 7:37pm