Ich koche ihn (länger) vor, aber eher, um Dreckreste u.ä. zu entfernen. IMHO muss beim Hallimasch nur auf ausreichende Durcherhitzung geachtet werden, die bekannten Unverträglichkeiten schiebe ich zu einem guten Teil auf unzureichendes Erhitzen. Bei mir haben schon viele Hallimasch (mit-)gegessen, bisher nie Probleme. Allerdings warne ich immer vorher das es sein könnte und man doch beim ersten Mal nur sehr wenig probieren sollte.
Wenn ich Pilze in der Pfanne brate, dann kippe ich immer auch etwas Wasser dazu, damit auch hochstehende Pilzteile ausreichend vom Wasserdampf erhitzt werden, generell ziehe ich aber Vorkochen in Betracht. Nur bei Steinpilzen, Pfiffeerlingen und Champignons spare ich mir das. Bei dem üblichen Mischpilzsammelsurium aus Täublingen, Röhren und anderen hat das auch den Vorteil, daß die durch das Kochen schon viel Wasser und Volumen verlieren. Daß dabei viel Geschmack flöten geht, kann ich so nicht bestätigen. Der sehr geschmacksintensive Hallimasch ist jedenfalls auch vorgekocht sehr lecker und eignet sich in dieser Form auch kleingeschnitten als Zutat zu Hackbällchen etc. :)