The Bohr-Sommerfeld quantization condition can indeed be rigorously justified and derived using modern semiclassical asymptotic methods and WKB approximations.
The retrieved literature consistently confirms that the Bohr-Sommerfeld quantization condition arises naturally and can be rigorously justified from the semiclassical limit of the Schrödinger equation and wave mechanics.