Fixes to verification script.
* don't ignore Boogie problems.
* better reporting.
Getting rid of this hacky monitor instrumentation.
Bumped version number for develop build.
Better temp file handling.
+ better parallel exploration.
Slight tweak to parallel exploration.
Trying the worklist parallel algorithm.
Tiny fixes to output.
Only guessing modified variables.
Renamed Node::print to Node::show.
* to avoid overriding Kernel::print.
Only using eventmachine with the parallel flag.
Added experimental sequentialization.
* trades off copies of variables for copies of constants.
* seems to be too expensive, at the moment.
Sequentialization optimizations.
* calculating precise modifies to save on guessing.
* allow multi-round jumps w/ one delay.
Improved static-threads sequentialization.
Fix to DF sequentialization optimization.
Sequentialization improvements.
* merging vectorization with async-to-call
* adding exit on error flag.
Oopse, forgot to remove a require.
Major cleanup.
* put analyses in a module.
* merged vectorization and sequentialization.
* simplified normalization and backend.
A few tiny fixes.
Computing procedure access sets.
* and using it to optimize sequentialization variables.
Not breaking on SI trace.