The Constructive Kan-Quillen Model Structure: Two New Proofs