When adding such tests, a lot of failures were found. I'm taking the responsibility of fixing some 'quick fixes' ones and excluding more difficult ones from the tests (but adding a TODO so that they eventually get fixed and integrated in our tests).