Update README

* Mention other useful libraries
* Move simple-check migrating instructions out of the main readme