further simplify the counter and make it more robust.

further apply strictness in many places, and properly
abstract the inner state from the interface by using
makeRNG instead of makeParams.
bump version to 0.6.1