Update Bitwuzla to v0.3.1

[lucasccordeiro]

No description provided.

[fbrausse]

Shall we run the benchmarks? Would allow comparing to #1569 (comment).

[lucasccordeiro]

Yes, sure.

I have started the master with bituwzla 0.3.0 here: https://github.com/esbmc/esbmc/actions/runs/7586652049 and the branch with bitwuzla 0.3.1 here: https://github.com/esbmc/esbmc/actions/runs/7586664809

[lucasccordeiro]

Bitwuzla 0.3.0:

Statistics:          23805 Files
  correct:           13775
    correct true:     7603
    correct false:    6172
  incorrect:            26
    incorrect true:     14
    incorrect false:    12
  unknown:           10004
  Score:             20738 (max: 38482)

Bitwuzla 0.3.1:

Statistics:          23805 Files
  correct:           13809
    correct true:     7638
    correct false:    6171
  incorrect:            25
    incorrect true:     14
    incorrect false:    11
  unknown:            9971
  Score:             20823 (max: 38482)