[DRAFT] No more isabelle ABI checking ossfuzz binary

[msooseth]

Please do not review.

Just a bit of try how to disable the Isabelle ABI encoder-based check in OSSfuzz. This can segfault during the Isabelle bit, and give us noise.

[github-actions[bot]]

Thank you for your contribution to the Solidity compiler! A team member will follow up shortly.

If you haven't read our contributing guidelines and our review checklist before, please do it now, this makes the reviewing process and accepting your contribution smoother.

If you have any questions or need our help, feel free to post them in the PR or talk to us directly on the #solidity-dev channel on Matrix.