The challenge with CAD kernels is mainly in the edge-cases. There's a lot of person-years invested to make the existing kernels robust in weird situations. Those come up surprisingly frequently when modelling.