Error Message for Temporal Mode

[erinlincoln]

I recently had a problem where I forgot to enable temporal mode but was using its features, making my runs unsat. It could be helpful to have an error if trying to use temporal mode-specific syntax without enabling it!

[tnelson]

This has been fixed; error produced (both in run, and in evaluator):

Error: use of LTL operator without temporal problem_type declared