Revert "First version model-checker validator which validates internal verification results with UPPAAL"

This reverts commit 9b20334e.