SLEB: Streamlining LLMs through Redundancy Verification and Elimination of Transformer Blocks | Synapse