On the origin and convergence of a post-quantization constrained propagator for path integral simulations of rigid bodies