MIR: add missing comparison gas for Or values and make comparability pattern matches total
Context
Adds missing comparison gas computation for Or values.
Also changes the patterns for comparison and gas computations to be checked by the compiler for totality (IOW avoids wildcard matches).
Based on !10759 (merged)
Manually testing the MR
Checklist
-
Document the interface of any function added or modified (see the coding guidelines) -
Document any change to the user interface, including configuration parameters (see node configuration) -
Provide automatic testing (see the testing guide). -
For new features and bug fixes, add an item in the appropriate changelog ( docs/protocols/alpha.rstfor the protocol and the environment,CHANGES.rstat the root of the repository for everything else). -
Select suitable reviewers using the Reviewersfield below. -
Select as Assigneethe next person who should take action on that MR
Edited by Nikolay Yakimov