Fix incorrect optimization in i64.mul_wide_s translation

[Robbepop]

Closes #1544 .

cc @saulecabrera

Minified example that caused the bug:

(module
  (func (export "run") (param i64) (result i64 i64)
    (i64.mul_wide_s
      (i64.add
        (local.get 0)
        (i64.const -3)
      )
      (i64.const 1)
    )
  )
)

Summary: The Wasmi translator incorrectly applied an optimization for i64.mul_wide_s when one of its operands was i64.const 1 and the other operand was not known to never be negative. In cases where the other operand was negative the result after the optimization was incorrect.

[codecov]

Codecov Report

Attention: Patch coverage is 33.33333% with 4 lines in your changes missing coverage. Please review.

Project coverage is 72.19%. Comparing base (1a43c8e) to head (45ee5ef).
Report is 1 commits behind head on main.

Files with missing lines	Patch %	Lines
crates/wasmi/src/engine/translator/func/mod.rs	0.00%	4 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##             main    #1545      +/-   ##
==========================================
+ Coverage   72.17%   72.19%   +0.01%     
==========================================
  Files         179      179              
  Lines       16401    16401              
==========================================
+ Hits        11838    11840       +2     
+ Misses       4563     4561       -2     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.