test cleanup

Fix the use of arbitrary instances to be more precise, and change the _oasis file to properly set the default for the quickcheck flag.