Regression tests for Acumen's enclosure interpreter

Last week Adam and Jan cleaned up the generator-driven property based tests for Acumen and introduced a simple regression test for the enclosure interpreter. The test checks that the enclosures produced for each model in a specified directory are identical with the expected enclosures computed using a baseline version of the interpreter. The addition of the regression tests will help maintain functionality intact during refactorings of the enclosure interpreter.