Add Strata backend for Kani#4552

rahulku wants to merge 2 commits intomodel-checking:mainmodel-checking/kani:mainfrom

rahulku:strata-backendrahulku/kani:strata-backendCopy head branch name to clipboard