issues in the weakset implementation discovered with it.
This makes it possible to use ABCs in weakref.py (which will be done in a later checkin).