Liquidity, Runs, and Security Design