Good question! There is a vignette in the GitHub version that specifically addresses mixed models and lists exactly which variances and standard errors are incorporated in interval estimation. We show in the vignette that our intervals reach the nominal coverage level asymptotically.