Calibnet Watermelon fix + mainnet watermelon upgrade

[LesnyRumcajs]

Summary of changes

Changes introduced in this pull request:

• update the mainnet schedule with a fixed watermelon bundle,
• added post-migration verifications. Technically, we could re-use post migrators, but a non-mut version seems more expressive,
• apply the calibnet patch at the agreed height (https://github.com/filecoin-project/lotus/releases/tag/v1.24.0-rc4),
• update manifests,
• update the devnet to use the new, shiny watermelon with the new Lotus (needed because the bundles were updated),
• No tests, given it's calibration network only, and I can't check it with devnet without a bunch of tinkering and patching Lotus. The only thing I came up with was a manual upgrade test at a different height - the migration passes, the sanity checks pass, and then there's a state mismatch from chain muxer (as expected).

Reference issue to close (if applicable)

Closes #3632

Other information and links

Change checklist

• I have performed a self-review of my own code,
• I have made corresponding changes to the documentation,
• I have added tests that prove my fix is effective or that my feature works (if possible),
• I have made sure the CHANGELOG is up-to-date. All user-facing changes should be reflected in this document.