Discovering Causal Models with Optimization: Confounders, Cycles, and Instrument Validity | Synapse