A standard library module deployed by Verax, checking attestation schemas