When moving to the new compiler, [a set of benchmark program tests was disabled](https://github.com/t-crest/patmos-benchmarks/commit/197791f2583906b76f2cd6b2abe66fed3ddc318b). These test all fail on `pasim` but not `patemu` when using the new compiler. This should be investigated, fixed, and the tests should be reinstated.