Opted out of daily-testing Prover on release-1.3 and release-1.4
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: #9014

libra/libra,libra/libra,libra/libra,libra/libra,aptos-labs/aptos-core,aptos-labs/aptos-core,aptos-labs/aptos-core,aptos-labs/aptos-core,aptos-labs/aptos-core,aptos-labs/aptos-core,libra/libra,aptos-labs/aptos-core