Updated readme with a section about verification.