Bridging Language Models and Formal Methods for Intent-Driven Optical Network Design