Arithmetic check

Also written: check_invoice, outside-fact checks

Code that verifies extracted numbers agree with each other (quantity × price = amount, lines add to subtotal). It catches misreads and supplier errors, but not a consistently invented invoice.