Bug in Discontinued Lido Staking Service Blocks User Access to Tokens Valued at $24.4 Million