Checks of lowering from Sierra to CASM

[gabrielbosio]

#1479 mentions a check that the lowering from Sierra to CASM logic does and Native does not.

We should check if other checks are present in the lowering logic that are not present in Native. If they are, we would have to consider the following:

1. Does this check have to be in Native?
2. Does this check have to be in the lowering from Cairo to Sierra logic instead?

If 1 is affirmative then add the corresponding check in Native.