Oasis fixes

This pull requests fixes the False/false issue and changes the way that the quickcheck flag works: tests always require that the quickcheck library be built.