Since you're going for 3d print level accuracy, and appear to be targeting PLA or ABS, I wonder if approximation of the Booleans by tessellation and then using a BSP tree wouldn't be even faster and use much less memory.