A problem of proof-of-stake as a consensus mechanism is that nothing is really at stake.

False. A staker, which activates and runs a validator by sending 32 Ether to staking deposit contract located on Mainnet, has 32 Ether at stake. When being dishonest this Ether could be slashed. Additionally, rewards and penalties can be given in different situations