Verifiable optical character recognition