Uh, I figured out how to show how many CPU cores that a machine has with top. lscpu and cat /proc/cpuinfo can do it, but top and 'l' can do that too.
htop actually gives you this by default.
Beautiful. That said, lscpu gives you much more detailed information about CPUs.