Value Functions are Control Barrier Functions: Verification of Safe Policies using Control Theory