o1vm/riscv32im: simplify assert_boolean

[dannywillems]

No description provided.

[codecov]

Codecov Report

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

Project coverage is 72.31%. Comparing base (037f60a) to head (a0177ab).
Report is 258 commits behind head on master.

Files with missing lines	Patch %	Lines
o1vm/src/interpreters/riscv32im/constraints.rs	0.00%	2 Missing ⚠️
o1vm/src/interpreters/riscv32im/witness.rs	0.00%	2 Missing ⚠️

Additional details and impacted files

@@           Coverage Diff           @@
##           master    #2908   +/-   ##
=======================================
  Coverage   72.30%   72.31%           
=======================================
  Files         259      259           
  Lines       61388    61384    -4     
=======================================
+ Hits        44386    44388    +2     
+ Misses      17002    16996    -6     

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