It Takes Two to Tango: Directly Optimizing for Constrained Synthesizability in Generative Molecular Design