Improve checks on DB update

[gonzaponte]

Currently, any update to the database is checked by a specific workflow in GHA. In this check, we confirm that what we store in the local db matches what's stored on the server. I would like these checks to be more exhaustive, for instance:

• Ensure that runs before the new changes are unaffected
• Ensure no invalid values (nans, <0, etc.)
• Ensure the number of entries makes sense
• Ensure no overlap between min/max run
• etc.

Some of these are not trivial, but it would improve our confidence in the database.