UnXFAIL several Wester tests with nsimplify and UnFAIL test_M2

N.B.:  I'm not sure if we can use nsimplify() in test_wester.py (except for D chapter, of course).  But it seems to be a current practice.  So...