Move over tests and arbitrary instances from the original testsuite

As promised, here are the old tests moved over to the cabalized testrunner. I also moved the old arbitrary instances as they were much cleaner IMHO.