Update features/verify-rust-std branch

[feliperodri]

This is not intended for a merge. We want to ensure that all CI checks pass and review the full list of commits before updating this branch. I had to remove two commits:

1. The previous update involved merging a commit into this branch. I’ve removed that merge and instead pulled changes directly from main. This is the approach we should use going forward.
2. I also removed a cherry-picked commit from PR #3375, as it is no longer necessary.

If everything looks good, I’ll force push these changes to the features/verify-rust-std branch.

By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.

[feliperodri]

All tests passed locally.

 cargo run -p compiletest -- --suite script-based-pre --mode exec verify_std_cmd
    Finished `dev` profile [unoptimized + debuginfo] target(s) in 0.10s
     Running `target/debug/compiletest --suite script-based-pre --mode exec verify_std_cmd`

running 1 test
test [exec] script-based-pre/verify_std_cmd has been running for over 60 seconds
test [exec] script-based-pre/verify_std_cmd ... ok

test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 24 filtered out; finished in 70.67s

[jaisnan]

Blocking comment to ensure we dont merge this via the Github UI.

[jaisnan]

Thank you!