Improve debug prints in GJK algorithm.