Added version badge to README.
IVar now applies Dereferenceable options on observation.
Implemented all remaining pending specs.
DRYed up dereferenceable observation specs.