Safe Reachability Verification of Nonlinear Switched Systems via a Barrier Density