First stab at concurrent execution

[deosjr]

• added naive or-parallellism
• example given using exclusive disjunction
• example given using normal disjunction, harder to gauge effectiveness
• two more examples of detecting places where parallelism could help in unroll.go
• and-parallellism is way less trivial

[deosjr]

Closing this PR and splitting the good parts into a few new ones