Designing Control Barrier Function via Probabilistic Enumeration for Safe Reinforcement Learning Navigation