Initial commit of the unit tests.

Adding more coverage to option.

Adding documentation.

Option is now using fantasy-check
- All option tests are run to the fantasy-check goal (default at 100)

Upping the version number
- Standardizing the name of the main file.

Fixing the tests that were not running.

Adding sequence and traverse to option.
- Issue around sequence with None because we can't prove it is possible to sequence.

Consistent exports.

Making sure we reference the right project.

Updating the tests to use the quickcheck laws.