Fix flaky cagg_insert

Isolation test `cagg_insert` is flaky because refresh steps can
complete in any order. Adding constraints so that completion is
reported in the same order in all test runs.

Fixes timescale#5331

tsl/test/isolation/expected/cagg_insert.out

@@ -62,11 +62,12 @@ lock_cagg
 (1 row)
 
 step Refresh3: CALL refresh_continuous_aggregate('continuous_view_2', NULL, 15); <waiting ...>
-step Refresh: CALL refresh_continuous_aggregate('continuous_view_1', NULL, 15);
+step Refresh: CALL refresh_continuous_aggregate('continuous_view_1', NULL, 15); <waiting ...>
 step I21: INSERT INTO ts_continuous_test_2 VALUES (1, 1);
 step I2c: COMMIT;
 step UnLockCagg2: ROLLBACK;
 step Refresh3: <... completed>
+step Refresh: <... completed>
 
 starting permutation: Sb LockCagg1 Refresh S1 Sc UnLockCagg1
 step Sb: BEGIN; SET LOCAL lock_timeout = '500ms'; SET LOCAL deadlock_timeout = '10ms';

tsl/test/isolation/specs/cagg_insert.spec

@@ -155,8 +155,8 @@ permutation "LockInvalThrEx" "Refresh" "Refresh2" (Refresh) "Refresh3" (Refresh,
 permutation "Ib" "LockCagg1" "I1" "Refresh" "Ic" "UnLockCagg1"
 permutation "Ib" "LockCagg1" "Refresh" "I1" "Ic" "UnLockCagg1"
 
-permutation "I2b" "LockCagg2" "I21" "Refresh" "Refresh3" "I2c" "UnLockCagg2"
-permutation "I2b" "LockCagg2" "Refresh3" "Refresh" "I21" "I2c" "UnLockCagg2"
+permutation "I2b" "LockCagg2" "I21" Refresh Refresh3(Refresh) "I2c" "UnLockCagg2"
+permutation "I2b" "LockCagg2" Refresh3 Refresh(*,Refresh3) "I21" "I2c" "UnLockCagg2"
 
 #refresh and select can run concurrently. Refresh blocked only by lock on
 # cagg's materialized hypertable. Needs RowExclusive for 2nd txn.
@@ -184,8 +184,8 @@ permutation "Refresh" "SV1" "LockMatInval" "Refresh1" "Ib" "I1" "LockInvalThrEx"
 permutation "I1" "Refresh" "LockInval" "Refresh" "Sb" "S1" "Sc" "UnlockInval"
 permutation "I1" "Refresh" "LockInval" "Sb" "S1" "Refresh" "Sc" "UnlockInval"
 
-permutation "I1" "I21" "Refresh1" "Refresh2" "Refresh3"
-permutation "I1" "I2b" "I21" "Refresh2" "Refresh3" "I2c" "Refresh3"
+permutation "I1" "I21" Refresh1 Refresh2(Refresh1) Refresh3(Refresh1,Refresh2)
+permutation "I1" "I2b" "I21" Refresh2 Refresh3(Refresh2) "I2c" Refresh3(Refresh2)
 
 # check for race condition creating triggers on the original hypertable by concurrent create matviews
 permutation "CreateMatView1_Begin" "CreateMatView2_Begin" "CreateMatView1_Commit" "CreateMatView2_Commit"