fix: preserve revert argument order

[asvitha2000]

This PR preserves the user-specified argument order in the revert tactic.

Fixes #3028.

This changes the revert tactic to call MVarId.revert with preserveOrder := true, so the order written by the user is preserved.

I added a regression test for revert c a b.

I was not able to run the local Lean test because this checkout does not have local build artifacts under build/release/stage1/bin.

[asvitha2000]

changelog-language

[mathlib-lean-pr-testing]

Mathlib CI status (docs):

• ❗ Batteries/Mathlib CI will not be attempted unless your PR branches off the nightly-with-mathlib branch. Try git rebase c743a573e305de6caa318e0d2b0782814b8656ce --onto 9c38aeebc6b701e6adb1dd07659718974eeb0306. You can force Mathlib CI using the force-mathlib-ci label. (2026-06-07 05:27:16)

[leanprover-bot]

Reference manual CI status:

• ❗ Reference manual CI will not be attempted unless your PR branches off the nightly-with-manual branch. Try git rebase c743a573e305de6caa318e0d2b0782814b8656ce --onto 803553a556fd82fa1060efb0c43eda542130cb16. You can force reference manual CI using the force-manual-ci label. (2026-06-07 05:27:17)