Enabling Robust, Real-Time Verification of Vision-Based Navigation through View Synthesis