Protect against non-canonical representations of Field elements for bit decompositions

[michaeljklein]

Problem

We need to protect against non-canonical representations of Field's when doing bit decompositions. We have checks for non-canonical representations when doing byte decompositions, but apparently not for bit decompositions.

Happy Case

Add canonical-representation checks to Field bit decompositions

Workaround

Yes

Workaround Description

Manually check the representation when using bit decompositions on Field's

Additional Context

No response

Project Impact

None

Blocker Context

No response

Would you like to submit a PR for this Issue?

None

Support Needs

No response