docs(go): rewrite the Go README for readability

formal/go-parity.json

@@ -10,7 +10,7 @@
   "inputs": {
     "semanticCasesSha256": "f3989f3032706ec6880ea29805dd1634964d868a2c3d99188adc6eaa1aac68ca",
     "executionSha256": "bdb8428c4fc4b34d7eed84d60f53fce53331bc3d3f16433c720e34331a9ea64f",
-    "sourceAuditSha256": "121deb4c4a1de59c10e79b3dc520696d83763ab6f5e72d2d60f077a5d70d39d8",
+    "sourceAuditSha256": "981d29f02683b6590b73c56c848e0596212f5ee5dd3608e0f9c68c30635ab8ec",
     "featureCoverageSha256": "92c2961ec6a97d0bc0c7aeeac3041404ee3a7ed358b1a09ccab9de84b6abf047",
     "coverageWitnessesSha256": "2b2d5d57daacba3ecd3637f5a917d58b0b63fcc88893e651cd602cdba1ef4244",
     "profilesSha256": "2ebb3ba9c9b71334bcbbaa1e2d9c1d539664ed69e826942ff829a2c31fe9434b"

formal/source-audit.json

@@ -1597,13 +1597,21 @@
     },
     {
       "path": "go/README.md",
-      "sha256": "dcef48b1acaea88d04dd2ea49ed09f7ce7ea17a019f41b9df257a31b6560bebf",
+      "sha256": "0647ea2c0ec98ff7f7a19a6711dd37a7ff4dbb0b072dbc608b8321d4d3318b8f",
       "entries": [
         {"line":1,"title":"DialCache for Go"},
-        {"line":23,"title":"Use"},
-        {"line":89,"title":"Configuration and effects"},
-        {"line":147,"title":"Values, codecs and observability"},
-        {"line":193,"title":"Validation and reproducing a trace"}
+        {"line":24,"title":"Install"},
+        {"line":36,"title":"Usage"},
+        {"line":119,"title":"Enable caching per request"},
+        {"line":138,"title":"Define use cases"},
+        {"line":156,"title":"Set and change policy"},
+        {"line":176,"title":"Connect Redis"},
+        {"line":211,"title":"Handle errors and deadlines"},
+        {"line":238,"title":"Choose value types and codecs"},
+        {"line":259,"title":"Export metrics and logs"},
+        {"line":286,"title":"Defaults"},
+        {"line":299,"title":"Advanced clock and executor hooks"},
+        {"line":310,"title":"Verify the port"}
       ],
       "review": {
         "kind": "contract-guide",