Proud Boys leader Enrique Tarrio was ‘prolific’ informer for law enforcement