Updates gadgets to make namespace pushing more consistent

[MercysJest]

• Adds a namespace push when calling field_into_allocated_bits_le
• Remove unnecessary helper function triop to flatten function call stack.

[Copilot]

Pull request overview

This PR makes gadget namespace handling more consistent and flattens the UInt32 SHA-256 helper implementation without changing the intended gadget behavior.

Changes:

• Inlined the removed triop helper into sha256_maj and sha256_ch.
• Added an explicit namespace around field_into_allocated_bits_le.
• Bumped the crate patch version to 0.71.1.

Reviewed changes

Copilot reviewed 3 out of 3 changed files in this pull request and generated no comments.

File	Description
src/frontend/gadgets/uint32.rs	Removes triop and directly implements SHA-256 maj/ch UInt32 helpers.
src/frontend/gadgets/num.rs	Wraps bit allocation in a dedicated namespace.
Cargo.toml	Updates package version from 0.71.0 to 0.71.1.

---

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.