Added tests for Future.

This includes:
  - Monad laws
  - Regression tests for #312
  - Extracted some tools from ActorTest that
    are useful for testing scalaz-concurrency