much better testing of counter_traits::incr.  Fixed a bug