EVER: Edge-Assisted Auto-Verification for Mobile MR-Aided Operation