

On your point about printing off a human readable copy that can be verified manually, you have now invented the worlds most expensive pencil. You’ll always want to verify the manual copy, so why bother with the computer one?
This way the state can count the votes quickly and if there are any audits they have a physical analog to compare. Honestly if the state just randomly audits 1 county per election to check for issues they will catch anything weird going on and save a tremendous amount of time and money.
If the audit discovers something weird they can then count up all the paper ballots and fix the software.
Additionally in 2024 the UK had 28,809,340 votes cast. The US had 158,427,986 votes cast.
You can have both