Add proposal delaying, remove predicate failure from ENACT

[Soupstraw]

Description

Removed the predicate failure from ENACT. Made the enactment of some actions delay all the other actions. Treasury withdrawals are now delayed when there is not enough ADA in the treasury.

I also changed the logic of RATIFY so that actions with invalid previous governance action ID get delayed rather than dropped.

closes #3675

Checklist

• Commit sequence broadly makes sense and commits have useful messages
• New tests are added if needed and existing tests are updated
• When applicable, versions are updated in .cabal and CHANGELOG.md files according to the
  versioning process.
• The version bounds in .cabal files for all affected packages are updated. If you change the bounds in a cabal file, that package itself must have a version increase. (See RELEASING.md)
• All visible changes are prepended to the latest section of a CHANGELOG.md for the affected packages. New section is never added with the code changes. (See RELEASING.md)
• Code is formatted with fourmolu (use scripts/fourmolize.sh)
• Cabal files are formatted (use scripts/cabal-format.sh)
• hie.yaml has been updated (use scripts/gen-hie.sh)
• Self-reviewed the diff

[Soupstraw]

Oops, I just noticed @teodanciu already had an open PR implementing the delaying and GovId checking #3670

[lehins]

I chose to go with @teodanciu's approach implemented in #3670 because it is correct, while this implementation is not quite. More importantly, however, the approach take in #3670 is much cleaner and is more flexible, because we will likely need to update prevGovActionId for PParamsUpdate during ratification. Updating the PParams during Enactment will have to happen an epoch later due to #3691. HashProtected approach in this PR prevents us from doing so.

In any case I found the HashProtected approach in the spec a bit ugly to begin with, because it is more convoluted that it has to be.

So, could you extract only the parts that are relevant for #3675 and either submit it as a new PR or modify this one, whichever you prefer.

[lehins]

Very nice!!!! 💪

Love all the predicate failure cleanup