chore: add LNSym omega benchmarks with large problems that take multiple seconds to solve · leanprover/lean4@fdd5aec