Allow "duplicate" redemptions that vary by counter

See for general context #51 (closed) .

After #51 (closed) allows counter in the network protocol, change the redeemVoucher logic to allow varying counter values for a single voucher.