Lasso guarantees for $\beta$-mixing heavy-tailed time series