async_verify() now uses a python Counter for its countdown structure instead of a python list for the same reasons as sync_verify() and also for consistency