Assertion tests satisfying new trigsimp changes