How much of the Madison CS curriculum is actually coding/building cool stuff versus just doing theoretical math proofs on a whiteboard?