Reachability-based Trajectory Design with Neural Implicit Safety Constraints