Separate slow tests from quick tests

[ahoy-jon]

For example, the test for monad laws are slow, we should be able to separate those to stage the build into two test phases (compile, test:compile, fast-test, slow-test).