Simplifies the code of the Check class.

Migrates the Spike code in the proper assemblies.

Adds a new NFluent.Tests.Extensions project to increase test coverage.