TorchLean Verification Workflows

End-to-end examples that build TorchLean models, lower them into verification artifacts, and run IBP/CROWN-style checks.