I'm always stressed about smart contract bugs draining liquidity pools when using Solidity. Are there any safer programming languages or alternative models designed specifically to prevent these security exploits?