(Optional) Consider multi-threading for efficient verification

[iosephusferrum]

As the verification process is independent then the flow of the imperative program code, we can execute the SelVerifier work in parallel, improving the efficiency significantly.