A Sequential Probability Test for RAIM