To your second point, no they don’t.
Coprinus comatus does not contain any benzocoprines, and does not interact with alcohol.
Coprinopsis atramentaria is the one you are referring to. Completely different genus - and not one I’d recommend eating anyways, besides the alcohol interaction they have been found to cause testicular lesions!
And they absorb toxins, so not ideal if near a highway. And they interact with alcohol so no alcohol with your meal.
To your second point, no they don’t. Coprinus comatus does not contain any benzocoprines, and does not interact with alcohol. Coprinopsis atramentaria is the one you are referring to. Completely different genus - and not one I’d recommend eating anyways, besides the alcohol interaction they have been found to cause testicular lesions!