Maybe I'm missing something, but what is wrong with (0, 20)? Although it is not one of the vertices, it is on the bounds of the minkowski difference. My understanding of the GJK algorithm is that it should still work correctly.
Ah, yep. I think I've been staring at code and formulas too long. Thank you!