DeviceSet: fixed a bug whereby the devName->slot dict would get cluttered with devices
that were not presently in use.