Dimension‐free mixing for high‐dimensional Bayesian variable selection. (31st October 2022)