taint: fix panda_stats to use bitset API for enumerating set elements