testPersistentData

Tests that persistent data survives across separate solve calls on the same Solver: after solving set_persistent(key, 1) in one call, a separate solve call for get_persistent(key, X) still succeeds (binding X to 1), and a query combining both within a single call behaves like testDurableData.