Fix links in README.md - section 'Properties guaranteed through interactive proofs'

[tfaoliveira]

In the section Properties guaranteed through interactive proofs, there are two links about proofs, functional-correctness and security proofs, that are not working:

• The corresponding sections need to be written.

Reported via internal communication channels, thanks @karthikbhargavan