Distributed Methods with Compressed Communication for Solving Variational Inequalities, with Theoretical Guarantees