That guy seems smart. I bet he did know. He probably decided that he could either quit quietly or get himself fired. The latter opens up the possibility of lawsuits (and unemployment benefits, which he is unlikely to need, but if he finds it hard to get hired again quickly it may be helpful).