From the widely supported Merkle Proof API we can get a storage root.
When we compute a snapshot we could double-check the correctness of that snapshot using the storage root.
Especially relevant when the snapshot has been constructed from debug traces