Implement bi-directional integration tests

[ftilmann]

A simple way to increase the number of test cases to run all the tests in testsuite in the opposite direction, i.e. with the file labelled "-old" as the new file and vice versa. The verify script should be adopted to do this