Parallelize Verification and FSM#66

rcosta358 merged 2 commits intomainliquid-java/vscode-liquidjava:mainfrom

parallelize-verification-and-fsmliquid-java/vscode-liquidjava:parallelize-verification-and-fsmCopy head branch name to clipboard