Some basic UserSet tests