docs: add theorem index, bridge status, and governance docs

docs: add theorem index, bridge status, and governance docs #489