Run Checks in Parallel

[shaobo-he]

It seems to verify a bunch of assertions at the same time may be too difficult for Z3. For example, when we enable memory safety checking or integer overflow checking, we have assertions in almost every function. I think maybe it's a good idea to run the back-end verifier at function- or assertion-granularity in parallel and see if we can boost the performance of SMACK.