Add a Max Bits Analysis

[zm2he]

This change introduces a prototype max bits analysis for values in the wasm value stack using the abstract interpretation static analysis framework. The implementation mirrors the existing getMaxBits function in bits.h but does not cover local indices and other values outside of the wasm value stack.

[codecov[bot]]

Codecov Report

Merging #5871 (049095d) into main (bcdfa72) will decrease coverage by 0.07%. Report is 11 commits behind head on main. The diff coverage is 22.17%.

@@            Coverage Diff             @@
##             main    #5871      +/-   ##
==========================================
- Coverage   42.45%   42.39%   -0.07%     
==========================================
  Files         482      484       +2     
  Lines       75013    74977      -36     
  Branches    11946    11970      +24     
==========================================
- Hits        31848    31785      -63     
- Misses      39953    39975      +22     
- Partials     3212     3217       +5     

Files Changed	Coverage Δ
src/ir/bits.h	47.54% <ø> (ø)
src/analysis/bits-bounds-transfer-function.h	18.04% <18.04%> (ø)
src/analysis/bits-bounds-lattice.h	21.15% <21.15%> (ø)
src/analysis/visitor-transfer-function.h	100.00% <100.00%> (ø)
test/gtest/cfg.cpp	100.00% <100.00%> (ø)

... and 32 files with indirect coverage changes