Mi experiencia con Gmail configurado en IMAP:
-Borrando los mails recibidos desde mail.app, en realidad en gmail no se borran, se "archivan". Para borrar, hay que hacerlo desde la web.
-Aunque se borren, siguen ocupando espacio en el disco duro.
-Yo he optado por borrar las carpetas en usuario/libreria/mail/v2/ las que correspondían a Gmail y ocupaban un huevo. Se han creado de nuevo sin problema de momento.