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!
Shaggy mane are a choice edible, but they'll dissolve into black goo in a matter of hours after being picked.
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!