Parallelize the verification process. Add clang static analysis