Distinction between GJK boolean and separation test, GJK tests moved to core/math