update readme, add some assertions