chore: replace explicit subtractions with nots

[TomAFrench]

Description

Problem*

Resolves

Summary*

Small PR to replace usage of (1-x) instead of not(x) for boolean x. This improves readability of the codegen imo.

Additional Context

Documentation*

Check one:

• No documentation needed.
• Documentation included in this PR.
• [Exceptional Case] Documentation to be submitted in a separate PR.

PR Checklist*

• I have tested the changes locally.
• I have formatted the changes with Prettier and/or cargo fmt on default settings.

[TomAFrench]

sha2_byte	+28,332 ❌	+71.38%	+118,018 ❌	+76.92%

1. what

[TomAFrench]

Ok making this draft as I want to investigate but this isn't high prio atm.

Edit: noticed on the diff that we're using the wrong type in pow which is likely behind this.

[vezenovm]

LGTM but tagging @guipublic as I believe he wrote this pow function.