Clarify verifying double documentation.

Created by: xaviershay

• 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.

Fixes #456 (closed)

R @soulcutter @myronmarston