Putting RSpec at the same level of the rest of the testing frameworks

This makes the docs a bit more understandable in my opinion.
Trying to explain a little bit better how to assert properties
A small beginning of a shrink documentation.

At least this is a beginning for #17