ProbitDA Code for the paper "Mixing times of data-augmentation Gibbs samplers for high-dimensional probit regression" by Filippo Ascolani and Giacomo Zanella