Unify API on CountsStore to always use registers

- add a 'satisfies' method to the CopyableDoubleLongRegister to simplify assertions