Add tests that run model checker and validate result

[shaunazzopardi]

To avoid regression, we need to add tests that run scripts with LTOL specifications in the nuXmv model checker, and confirm their results.