[mlir] Add --force-mlir flag in soltest and a semantic test runner#92

abinavpp wants to merge 1 commit intomainNomicFoundation/solx-solidity:mainfrom

app-sema-testNomicFoundation/solx-solidity:app-sema-testCopy head branch name to clipboard