Opted out of daily-testing Prover on release-1.3 and release-1.4

`release-1.3` and `release-1.4` are excluded because the developement is
being done only in `main`.

Especially, `release-1.4` had to be excluded in the target-branch of the daily test routine for Prover because of the flakiness (or butterfly effect) in proving `TreasuryCompliance::update_exchange_rate` in that branch.

Closes: aptos-labs#9014

.github/workflows/daily.yml

@@ -147,7 +147,7 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        target-branch: [main, release-1.3, release-1.4]
+        target-branch: [main]
     steps:
       - uses: actions/[email protected]
         with: