feat: pointeval precompile circuit for failing inputs

[ivokub]

Description

This PR adds a circuit which allows to assert that some inputs to the POINTEVAL precompile input are invalid. It checks:

• compressed input mask
• mask correspondence with x coord
• subgroup and curve membership
• hash version
• hash value
• pairing value
• compressed x overflow

It will be used in Linea alongside the POINTEVAL precompile for valid inputs.

Type of change

• New feature (non-breaking change which adds functionality)

How has this been tested?

Corresponding isolated test cases. Larger test suite in linea-monorepo.

Checklist:

• I have performed a self-review of my code
• I have commented my code, particularly in hard-to-understand areas
• I have made corresponding changes to the documentation
• I have added tests that prove my fix is effective or that my feature works
• I did not modify files generated from templates
• golangci-lint does not output errors locally
• New and existing unit tests pass locally with my changes
• Any dependent changes have been merged and published in downstream modules