[Civl] Parallelize the code for invalidating sharers#1033

shazqadeer merged 2 commits intomasterboogie-org/boogie:masterfrom

coherence-parboogie-org/boogie:coherence-parCopy head branch name to clipboard