Constrained Reinforcement Learning and Formal Verification for Safe Colonoscopy Navigation