Use `OpEqualVerify` instead of `OpEqual` + `OpVerify` in compiler output

[michaelsutton]

The compiler emits OpEqual + OpVerify in many places where OpEqualVerify would do.

This should be cleaned up to slightly reduce script size and simplify generated code.