Update Hackage index state
This cherry-picks a variety of changes from !397.
This includes an upgrade of liquid-haskell-boot to 9.12.2. We also apply the fix from !409 (merged) to this version.
While we update the Hackage index state, we don't necessarily update all of the patches to their latest version.
Edited by Teo Camarasu