split RA docs into separate file, and general doc updates

I went over our docs to see where to best start writing a "style guide", but things so far are not terribly organized... However, most of this file was concerned with "things around RAs", so I figured that might be reasonable to split out. proof_guide.md remains a random collection of stuff for now; this could become easier to organize in the future when we'll hopefully have more things documented.