How are Counter / defaultdict ordered in Python 3.7?