Auto merge of #136094 - davidv1992:upgrade-elsa, r=oli-obk

Upgrade elsa to the newest version.

This was locked to 1.7.1 because of an error in the elsa release process that has since been fixed. Upgrading has the advantage that the elsa code runs properly in miri, at least with tree borrows.

This was spawned from rust-lang/rust#135870 (comment)

Author: bors