WSL3 Performance is the Programmers Solid 3D CAD Modeller

The one you want is the experimental build, it is way faster to the point that all of it can be proved the error could not have been found without a human's effort.