supplementary material for paper: Constant-Expansion Suffices for Compressed Sensing with Generative Priors