bugfix: We didn't always print a warning when CSG normalization created too many elements