Require N threads when evaluating ENDSPEC with SPEC_ELEMENTWISE
Remove unnecessary uniform invariants; use N threads when verifying elementwise endspecification
Update experiment scripts
Merge branch 'master' of ssh://github.com/nchong/barrier-reasoning-tests