Function generate_controller 

pub fn generate_controller(it: &Intersection, plan: &PhasePlan) -> String

Generate a synthesizable Verilog controller (one 1-bit mvN register per movement, a phase counter) whose conflict-freedom is provable by prove_invariant.