Periodically restart Maude to avoid memory issues

Without this, Maude's memory consumption reaches gigabytes, and it eventually
issues an std::bad_alloc exception.
Fix OTYT-v1: processes should be inequivalent
Add extended testsuite as make target "validate"

All test targets now use a NAME variable for setting a suffix to the name
of the experiment.