README updates, cleanup of themis.Assert