docs: Add design goals, invariants, and so on to the README

[johnsaigle]

We can adapt some of what we wrote for the Quick Start document so that it makes sense for a general audience.

Relevant sections can be added to a SECURITY.md.