I'm more in favor of everyone learning CS theory (primarily logic really and anything else would just be icing on the cake), which would be a more transferable and honestly useful skill.

As it is, the most states try to bake learning how to write formal logic proofs into geometry and they do it fairly poorly.