Clarify verifying double documentation.

* Moves introduction to README so it shows on the index page.
* Made intro text more generic to account for object doubles.
* Rename old introduction feature to "instance doubles" for symmetry
  with class and object double features.