Investigate why assuming boolean in WHIR recursion slows down the leanVM program

[TomWambsgans]

To quote @morganthomas in this PR:

"
I don't know why these changes increase the cycle count by 12 for the WHIR recursion test. I did find usages of the if X == 1 idiom in the WHIR recursion test where X could safely be assumed to be boolean, but for whatever reason, replacing these instances with if !!assume_bool(X) resulted in an increased cycle count.
"

[shreyas-londhe]

Hi @TomWambsgans Is anyone working on this? I'd like to a take a dig at this.