Update readme with assertion stuff