Add a partial order reduction model option.

This also enables assertions to have multiple options, and allows
property check assertions to have multiple options.
Add a failure watchdog external function.
Update the builtin parser.
Merge pull request #6 from tomgr/feature/partial-order-reduction

Add partial order reduction parsing support