Efficient Exact Tests in Linear Mixed Models for Longitudinal Microbiome Studies