add another correctness test
add a threaded test, revealed a bug, which led to a simplification of the
partitioned counter