Formally Verified Physics-Informed Neural Control Lyapunov Functions