Yo también he visto ese tipo de bichitos pequeños, oscuros negros o grises, saltarines. Están en casi todos los tricholomas. Los he visto especialmente en las columbettas en roble, en las negrillas y portentosas de pino, pero también en algunas otras especies. A mi no me dan asco, pero lo que hago es, una vez limpio las setas, las sumerjo 1 minuto en agua, parece que les disgusta, salen todos y se quedan en la superficie del agua flotando. Retiro esa película de bichos de la interfase agua-aire y después los pongo en un escurridor y bajo un chorro fuerte de agua se acaban por ir todos por el fregadero.
En mi experiencia, la mayoría de las veces, cuando las setas no están muy tenientes tienen estos bichos, pero si están muy jóvenes tienen pocos o ninguno.
De todas formas, como indican los compañeros, a mi no me ha pasado nada por cocinar setas que tienen estos bichos.
Hay que tener paciencia al lavar las setas, pues se meten entre las láminas, a veces, cuando parece que has acabado todavía salen unos pocos más!
Saludos