[Tooling] Implement arithmetic conformance checks

[cecille]

Reproduction steps / Feature

We have one now. The time has come.

Requires switching the function API for the conformance checks since now we require a VALUE check rather than an existence check. First step is to match current behaviour using optional, then move over to proper checks.

Platform

python

Platform Version(s)

No response

Type

Manually tested with SDK

(Optional) If manually tested please explain why this is only manually tested

No response

Anything else?

No response