Post-election tabulation audit