Less output for mutation testing

commented out all uses of Property.trace and whenFail