added options -- 'random_socks' and 'shuffle_socks' -- in 'builtin_features/multi_channel_perm'