Nonlinear stabilization via Control Contraction Metrics: A pseudospectral approach for computing geodesics | Synapse