In mip.pyx: improve wording of check_redundant option