Analyzing nonlinear systems in the frequency domain with harmonic balance and Quanscient Allsolve