Add parallel solving capabilities

In particular, add:

  - proveWithAny/proveWithAll
  - satWithAny/satWithAll
  - allSatWithAny/allSatWithAll

multi-core for the win!