Update readme with correctness analysis