docs: refresh README.md and update verify_docs script

Signed-off-by: Lalith Suresh <[email protected]>

README.md

@@ -129,9 +129,6 @@ public class QuickStartTest {
         // Create a DCM model using the database connection and the above constraint
         final Model model = Model.build(conn, List.of(constraint));
 
-        // Sync the model with the current data in the database
-        model.updateData();
-
         // Solve and return the tasks table. The controllable__worker_id column will either be [1, 5] or [5, 1]
         final List<Integer> column = model.solve("TASKS")
                 .map(e -> e.get("CONTROLLABLE__WORKER_ID", Integer.class));

verify_docs.sh

@@ -1,4 +1,7 @@
 #!/bin/bash
 
+set -e
+
 npx embedme README.md --verify
 npx embedme docs/tutorial.md --verify 
+npx embedme docs/reference.md --verify