Add back assert.becomes/doesNotBecome, with tests this time.
Update readme a bit more.