The last I knew, traffic type wasn't being blocked, only DNS and specific websites were, along with certain mining software being added to the antivirus, but nothing that would actually block the activity. But I know they've gotten better since then, so who knows! 

I didn't see anything specific in the page source about how the mining is actually happening, but I'm horrible at looking at page sources. I suppose if their system is sophisticated enough it could be stripping out the program that the site is bringing with it to mine? I don't know how the mining is implemented in the website to know how that happens, but now that I stop to think about it's probably a JavaScript based mining, but again I don't know and I'm horrible looking at sources. I'm just curious so that I can figure out a way to get it working at work I had hoped that since it was in a browser instead of a program on my computer that can be scanned for would make it work, but it looks like that might not be the case here.