Data checks

[pp-mo]

By intent, this implements the last of the "missing" functionality, as noted here

So we are then testing all the conformance statements

Draft for now :

• needs a bit more work for me to be sure that this is doing everything right
• calls for an update to the usage notes in the readme (not yet added)

[pp-mo]

Rebased, to merge in odd things from main.