Added new option hash_size for FeldmanHashSet