Slightly improves CounterModel with setCounters-method, and makes use of the changeCounter metohod in TestCounter when creating a randomized array.