[sloxoqvd] Integrity checker

Having an integrity checker for your software system, for data in memory and for data on disk, is generically frequently useful.  Create tools to make it easier to create such checkers.

Invariants.