A Dynamic Splicing Program Ensures Proper Synaptic Connections in the Developing Cerebellum