Comment 1 for bug 1879729

Assigned to Samuele as I took a look at the snap repair code and it seems non-trivial what it's doing with the verification of the assertions. I think that snap repair should use similar code to the seed20 stuff, but I don't know and it would take me longer to figure out all the details here.