DeFi leverage: 2023 in Review