A basic SD-JWT verifier.