Is it worth lowering the cost of `equalsData` in the `False` case?

[effectfully]

#7138 lowers down the cost of equalsData when the two Data objects aren't equal. It would be great to have lower cost for equalsData, but implementing it properly is quite challenging, so we should first check if the impact is worth the trouble.

This issue is for replaying all the on-chain evaluation events using the #7138 branch recording the budget and success results. We're interested in:

• what percentage (+ an absolute number) of total script executions gets 0-1% cheaper
• 2-5%
• 5-10%
• 10-15%
• ...
• 95-100%
• whether any of the script executions gets more expensive (that would be a bug)