These tests have not made it into the automatic test suite, probably because
they have no automatic validation, or because they take an insane amount of
time to finish.