I am implementing the Bowyer-Watson algorithm as presented at Wikipedia. In my implementation, everything works as I would expect up until the last part of the pseudocode:<
It seems you have a solution for your problem but it's also possible to check if the circumcenter of the triangle is outside the supertriangle. You can use a point-in-polygon test. Maybe it can guarantee that there are not missing triangles.