Synergistic Perception and Control Simplex for Verifiable Safe Vertical Landing