Verify that ZisK validates signatures correctly #6432
Description
In #6414 we added support for the new ZisK crypto backend, and some concerns were raised about the validation of signatures.
The same function is being used for the ecrecover precompile (which has no high-s check) and address recovery during transaction verification (which requires the check).
This suggests the validation is either missing or overly restrictive.