Drop tests proven redundant by mutation

Removes 9 tests whose covering test also fails when the code is broken.