There was an even better version of GJK published around 2017 which made it more numerically robust: the Signed Volume Method (https://dl.acm.org/doi/10.1145/3083724) OpenGJK is written by the same author, and is based on that paper.