Add feature-gated runtime assertions to stdlib functions

[michaeljklein]

Problem

Once #6963 (feature flags) is merged:

Several stdlib functions, e.g. embedded_curve_add make assumptions about their inputs (in this case, that the input points are on the curve), but it is prohibitively tedious to add checks that all inputs of embedded_curve_add are on the curve.

Happy Case

Add a runtime_pedantic or similar feature flag to the stdlib that enables runtime checks on each stdlib function/method that includes requirements on its inputs that can only be checked at run-time, a la #6962.

Workaround

Yes

Workaround Description

Explicitly add such run-time checks whenever using a stdlib function whose input-assumptions can only be checked at run-time.

Additional Context

No response

Project Impact

Nice-to-have

Blocker Context

No response

Would you like to submit a PR for this Issue?

None

Support Needs

No response